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 usingAnalyzer
.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.