Class Hierarchy
- java.lang.Object
- org.oristool.models.pn.InitialPetriStateBuilder
- org.oristool.models.pn.MarkingConditionStopCriterion (implements org.oristool.analyzer.stop.StopCriterion)
- org.oristool.models.pn.PetriComponentsFactory (implements org.oristool.analyzer.AnalyzerComponentsFactory<M,
E>) - org.oristool.models.pn.PetriStateFeature (implements org.oristool.analyzer.state.StateFeature)
- org.oristool.models.pn.PetriSuccessionEvaluator (implements org.oristool.analyzer.SuccessionEvaluator<M,
E>) - org.oristool.models.pn.PetriTokensAdder (implements org.oristool.models.pn.MarkingUpdater)
- org.oristool.models.pn.PetriTokensRemover (implements org.oristool.models.pn.MarkingUpdater)
- org.oristool.models.pn.PlaceFlusher (implements org.oristool.petrinet.TransitionFeature)
- org.oristool.models.pn.PostUpdater (implements org.oristool.models.pn.MarkingUpdater, org.oristool.petrinet.TransitionFeature)
- org.oristool.models.pn.Priority (implements org.oristool.petrinet.TransitionFeature)
- org.oristool.models.pn.ResetSet (implements org.oristool.petrinet.TransitionFeature)
Interface Hierarchy
- org.oristool.models.pn.MarkingUpdater