Package org.processmining.poemsconformancecheckingforbpmn.models.transition_system