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