Package org.oristool.models.pn

Analysis of Petri nets.

Interface Summary

Interface	Description
MarkingUpdater	Function updating a Marking after the firing of a transition.

Class Summary

Class	Description
InitialPetriStateBuilder	State builder for Petri nets.
MarkingConditionStopCriterion	Stop criterion based on a marking condition.
PetriComponentsFactory	Factory of objects to explore the state space of a Petri net using Analyzer.
PetriStateFeature	A feature collecting state information of a Petri net.
PetriSuccessionEvaluator	Builder of successor states for Petri nets.
PetriTokensAdder	A simple strategy adding tokens to each output place.
PetriTokensRemover	A simple strategy remove tokens from each input place.
PlaceFlusher	Transition feature removing all tokens from a set of places.
PostUpdater	Transition feature updating the marking after token additions/removals of a firing.
Priority	Transition feature encoding the priority used to resolve races between immediate transitions.
ResetSet	A transition feature forcing other transitions to resample a time-to-fire.