org.processmining.converting.epc2transitionsystem
Classes 
EPCMarking
EpcToTransitionSystem
EPCTransitionRelation