Analysis of Petri nets.
Interface Summary Interface Description MarkingUpdaterFunction updating a Marking after the firing of a transition.
Class Summary Class Description InitialPetriStateBuilderState builder for Petri nets. MarkingConditionStopCriterionStop criterion based on a marking condition. PetriComponentsFactoryFactory of objects to explore the state space of a Petri net using
PetriStateFeatureA feature collecting state information of a Petri net. PetriSuccessionEvaluatorBuilder of successor states for Petri nets. PetriTokensAdderA simple strategy adding tokens to each output place. PetriTokensRemoverA simple strategy remove tokens from each input place. PlaceFlusherTransition feature removing all tokens from a set of places. PostUpdaterTransition feature updating the marking after token additions/removals of a firing. PriorityTransition feature encoding the priority used to resolve races between immediate transitions. ResetSetA transition feature forcing other transitions to resample a time-to-fire.