Uses of Class
org.oristool.models.gspn.reachability.SPNState

Packages that use SPNState

Package	Description
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.

Uses of SPNState in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability that return types with arguments of type SPNState

Modifier and Type	Method	Description
DTMC<SPNState>	GSPNReachability.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.