org.processmining.plugins.automapgen.petrinet
Classes
PetriGraphMapping
PetriNetVisualizer
PetriNetWizard