Package org.oristool.petrinet

package org.oristool.petrinet

Petri net representation.

Class	Description
EnablingFunction	The enabling function of a transition.
InhibitorArc	An inhibitor arc connecting a place to a transition.
InhibitorArcFeature	Generic feature of an InhibitorArc.
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.
PetriNetFeature	Generic feature of a PetriNet.
Place	Place of a Petri net.
PlaceFeature	Generic feature of a Place.
Postcondition	Postcondition of a Petri net.
PostconditionFeature	Generic feature of a Postcondition.
Precondition	Precondition of a Petri net.
PreconditionFeature	Generic feature of a Precondition.
Transition	Transition of a Petri net.
TransitionFeature	Generic feature of a Transition.