Package org.oristool.petrinet
Petri net representation.
-
Interface Summary Interface Description InhibitorArcFeature Generic feature of anInhibitorArc
.PetriNetFeature Generic feature of aPetriNet
.PlaceFeature Generic feature of aPlace
.PostconditionFeature Generic feature of aPostcondition
.PreconditionFeature Generic feature of aPrecondition
.TransitionFeature Generic feature of aTransition
. -
Class Summary Class Description EnablingFunction The enabling function of a transition.InhibitorArc An inhibitor arc connecting a place to a transition.Marking A marking, assigning a token count to each place of a Petri net.MarkingCondition A predicate on token counts.PetriNet A Petri net model.Place Place of a Petri net.Postcondition Postcondition of a Petri net.Precondition Precondition of a Petri net.Transition Transition of a Petri net.