org.processmining.models.graphbased.directed.transitionsystem.regions

Class RegionSet