io.kagera.runtime
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.