io.kagera.runtime
Keeps the state of a 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 petri net instance.