org.processmining.models.graphbased.directed.transitionsystem

Class CoverabilityGraph