Class Summary |
ArcMap |
The Class ArcMap is a helper class to combine the VANTED arcs and the rakiura arcs. |
PlaceMap |
The Class PlaceMap is a helper class to combine the VANTED places and the rakiura places. |
PNJFern |
The Class PNJFern parses a VANTED Petri net into a rakiura Petri net, performs all simulation operations and writes the marking for each simulation step into a file (if enabled). |
TransitionMap |
The Class TransitionMap is a helper class to combine the VANTED transitions and the rakiura transitions. |
Translation |
The Class Translation translates a graph into a Petri net. |
Writer |
The Class Writer. |