Class Summary |
Check |
The Class Check proofs if the Petri net structure. |
DrawingEdge |
The Class DrawingEdge is a helper class for drawing attributes onto edges. |
DrawingNode |
The Class DrawingNode is a helper class for drawing attributes onto nodes. |
HelperPNMergeNodes |
The Class HelperPNMergeNodes is a helper class to merge places with the same label. |
HideArcWeight |
The Class HideArcWeight is a helper class for arc-weight hiding. |
HideCapacity |
The Class HideCapacity is a helper class for capacity hiding. |
HideLabel |
The Class HideLabel is a helper class for label hiding. |
HideToken |
The Class HideToken is a helper class for token hiding. |
Identity |
The Class Identity is a helper class for linking between nodes (Petri net) and edges (reachability graph). |
IgnoreNode |
The Class IgnoreNode is a helper class for node hiding. |