Package petri_jfern

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.