com.ing.baker.petrinet.runtime
Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.
Place
Transition
Returns all enabled transitions for a marking.
marking
Checks whether a transition is 'enabled' in a marking.
The marking.
The transition.
Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.
Place
Transition