org.processmining.models.statechart.ptnet
Classes
PetrinetDecorated