Package org.oristool.models.gspn
Analysis of GSPNs.
-
Class Summary Class Description GSPNSteadyState Computes the stationary distribution for the underlying CTMC of a GSPN.GSPNSteadyState.Builder GSPNTransient Computes transient probabilities for the underlying CTMC of a GSPN.GSPNTransient.Builder