Package org.oristool.models.gspn

package org.oristool.models.gspn

Analysis of GSPNs.

Related Packages

Package	Description
org.oristool.models	Provides classes for the analysis of different models.
org.oristool.models.gspn.chains	Analysis of Markov chains.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.tpn	Analysis of TPNs.

Classes

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