Package org.oristool.models.gspn.reachability

Reachability analysis in GSPNs.

Class Summary

Class	Description
FiringProbability	Succession feature encoding the firing probability.
GSPNReachability	Computes the graph of tangible markings reachable in a GSPN.
GSPNReachability.Builder
SPNState	A GSPN state, including a sojourn rate and a marking.