Uses of Package
org.oristool.models.stpn.trees

Packages that use org.oristool.models.stpn.trees

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.

Classes in org.oristool.models.stpn.trees used by org.oristool.models.stpn.onegen

Class	Description
DeterministicEnablingState	A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.

Classes in org.oristool.models.stpn.trees used by org.oristool.models.stpn.trans

Class	Description
DeterministicEnablingState	A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.

Classes in org.oristool.models.stpn.trees used by org.oristool.models.stpn.trees

Class	Description
DeterministicEnablingState	A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.
EmpiricalTransitionFeature
EnablingSyncsFeature	State feature encoding synchronizations between enabled timers.
StochasticStateFeature	A state feature encoding the support and PDF of enabled timers.
StochasticTransitionFeature	Transition feature encoding the distribution and weight.
TransientStochasticStateFeature	State feature including the entering time distribution and reaching probability of a state.