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

Interface Summary

Interface	Description
Region

Class Summary

Class	Description
GeneralizedExitationRegions
RegionImpl
RegionSet