Package org.processmining.framework.models.petrinet

Class Summary
Marking Title: Marking class
oWFNet Title: oWFNet
PetriNet A Petri net is a data structure that is used to model concurrent behavior.
PetriNetHierarchy empty implementation of the ModelHierarchy class.
PetriNetNavigation Title: PetriNetNavigation
Place A place is node in a Petri net.
PNEdge Class representing a directed arc in a Petri net model.
PNNode Title: PN Node
State Title:
StateSpace A Petri-net based state space, wheras states correspond to markings of the net, and edges represent transitions in the Petri net.
Token Token can be held by places.
Transition A transition is node in a Petri net.
TransitionCluster A transition cluster is a group of transitions in a Petri net that are grouped together.
WFNet Title: WFNet
 

Enum Summary
Choice Title: Choice