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