Package org.oristool.petrinet

Petri net representation.

Interface Summary

Interface	Description
InhibitorArcFeature	Generic feature of an InhibitorArc.
PetriNetFeature	Generic feature of a PetriNet.
PlaceFeature	Generic feature of a Place.
PostconditionFeature	Generic feature of a Postcondition.
PreconditionFeature	Generic feature of a Precondition.
TransitionFeature	Generic feature of a Transition.

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.