Uses of Package
org.oristool.models.gspn.chains

Package
Description
Analysis of Markov chains.
Reachability analysis in GSPNs.
Analysis of MRPs under enabling restriction.