Package org.oristool.models.stpn.onegen

Analysis of MRPs under enabling restriction.

Class Summary

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