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 |