Uses of Class
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph