Package org.processmining.specpp.datastructures.petri

Interface Summary

Interface	Description
Final
Initial

Class Summary

Class	Description
CollectionOfPlaces
FinalTransition
InitialFinalTransition
InitialTransition
PetrinetVisualization
Place	A class representing a Petri net place as a combination of its preset and postset.
ProMPetrinetBuilder
ProMPetrinetWrapper
Transition