IPetriNet<'Token>
Namespace: QuickGraph.Petri
A High Level Petri Graph.
Instance members
Instance member | Description |
Arcs
Signature: IList<IArc<'Token>>
Modifiers: abstract |
Gets a collection of instances. |
Graph
Signature: IPetriGraph<'Token>
Modifiers: abstract |
|
Places
Signature: IList<IPlace<'Token>>
Modifiers: abstract |
Gets a collection of instances. |
Transitions
Signature: IList<ITransition<'Token>>
Modifiers: abstract |
Gets a collection of instances. |