Analysis of TPNs.
Class Summary Class Description InitialTimedStateBuilderState builder for time Petri nets. TimeBoundStopCriterionA global stop criterion. TimedAnalysisState-class graph builder for time Petri nets. TimedAnalysis.Builder TimedComponentsFactoryFactory of objects to explore the state space of a time Petri net using
TimedStateFeature TimedSuccessionEvaluatorBuilder of successor states for time Petri nets. TimedTransitionFeatureTransition feature with minimum/maximum required time to the firing.