Package org.oristool.models.gspn.reachability

Reachability analysis in GSPNs.