Package org.oristool.models.stpn.onegen

package org.oristool.models.stpn.onegen

Analysis of MRPs under enabling restriction.

Related Packages

Package	Description
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.

Classes

Class	Description
OneGenState	CTMC state with reference to a node in the succession graph.
OneGenTransient	Transient analysis of STPNs with at most one general transition enabled in each state.
OneGenTransient.Builder