Package org.oristool.models.pn

Analysis of Petri nets.