Package org.oristool.models.gspn

Analysis of GSPNs.