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