Package org.oristool.models.tpn

package org.oristool.models.tpn

Analysis of TPNs.

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.pn	Analysis of Petri nets.
org.oristool.models.stpn	Analysis of STPNs.

Classes

Class	Description
ConcurrencyTransitionFeature
InitialTimedStateBuilder	State builder for time Petri nets.
RegenerationEpochLengthTransitionFeature
TimeBoundStopCriterion	A global stop criterion.
TimedAnalysis	State-class graph builder for time Petri nets.
TimedAnalysis.Builder
TimedComponentsFactory	Factory of objects to explore the state space of a time Petri net using Analyzer.
TimedStateFeature
TimedSuccessionEvaluator	Builder of successor states for time Petri nets.
TimedTransitionFeature	Transition feature with minimum/maximum required time to the firing.