io.kagera.api
Interface for deciding which (transition, marking) parameters are 'enabled'
Place
Transition
Marking The type of Marking in the PetriNet
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'
Place
Transition
Marking The type of Marking in the PetriNet