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.