org.processmining.plugins.petrinet
Classes 
PetriNetShortCircuiter
PetriNetVisualization