| Interface | Description |
|---|---|
| SMGArc | |
| SMGArcListener | |
| SMGMarking |
This interface represents the marking of a Synchronous Marked Graph.
|
| SynchronousMarkedGraph |
| Class | Description |
|---|---|
| SMGArcMarking |
This class records the marking of a given arc.
|
| SMGSchedule |
This class records the schedule of the graph.
|
| SMGVertexSchedule |
This class records the schedule of a given vertex.
|