org.processmining.framework.models.petrinet
Classes 
Marking
oWFNet
PetriNet
PetriNetHierarchy
PetriNetNavigation
Place
PNEdge
PNNode
State
StateSpace
Token
Transition
TransitionCluster
WFNet
Enums 
Choice