Package org.oristool.models.gspn.reachability

package org.oristool.models.gspn.reachability

Reachability analysis in GSPNs.

Related Packages

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.chains	Analysis of Markov chains.

Classes

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.