io.kagera.execution
A Job encapsulates all the parameters that make a firing transition in a petri net.
A Job encapsulates all the parameters that make a firing transition in a petri net.