Uses of Class
org.oristool.models.stpn.trees.DeterministicEnablingState

Packages that use DeterministicEnablingState

Package	Description
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.

Uses of DeterministicEnablingState in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen that return types with arguments of type DeterministicEnablingState

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	OneGenTransient.compute(PetriNet pn, Marking m)

Uses of DeterministicEnablingState in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans that return types with arguments of type DeterministicEnablingState

Modifier and Type	Method	Description
TransientSolution<DeterministicEnablingState,Marking>	RegTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of DeterministicEnablingState in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees with parameters of type DeterministicEnablingState

Modifier and Type	Method	Description
State	DeterministicEnablingStateBuilder.build(DeterministicEnablingState s)	Builds an initial State instance from a DeterministicEnablingState.
State	DeterministicEnablingTimedStateBuilder.build(DeterministicEnablingState s)