io.kagera.execution
Keeps the state of a 'running' petri net instance.
The marking that is available for new jobs
The marking that is already used by running jobs
Keeps the state of a 'running' petri net instance.