Petri net representation.
Interface Summary Interface Description InhibitorArcFeatureGeneric feature of an
PetriNetFeatureGeneric feature of a
PlaceFeatureGeneric feature of a
PostconditionFeatureGeneric feature of a
PreconditionFeatureGeneric feature of a
TransitionFeatureGeneric feature of a
Class Summary Class Description EnablingFunctionThe enabling function of a transition. InhibitorArcAn inhibitor arc connecting a place to a transition. MarkingA marking, assigning a token count to each place of a Petri net. MarkingConditionA predicate on token counts. PetriNetA Petri net model. PlacePlace of a Petri net. PostconditionPostcondition of a Petri net. PreconditionPrecondition of a Petri net. TransitionTransition of a Petri net.