Package org.oristool.models.pn

package org.oristool.models.pn

Analysis of Petri nets.

Related Packages

Package	Description
org.oristool.models	Provides classes for the analysis of different models.
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.tpn	Analysis of TPNs.

Class	Description
InitialPetriStateBuilder	State builder for Petri nets.
MarkingConditionStopCriterion	Stop criterion based on a marking condition.
MarkingUpdater	Function updating a Marking after the firing of a transition.
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.