@author
Simon Landes The
TokenGameController provides the visual and/or model sided TokenGame of a Petrinet.
1) Visual (and Model) sided TokenGame:
You have to set a
PetriNet and a
WoPeDJGraph.
If it's done via the Contructor you have nothing to worry about.
If you only set the petrinet via Constructor and the Graph with the setter method, you'll have to enable the visualTokenGame explicit with the method
enableVisualTokenGame().
2) Only model sided TokenGame:
If you have set the the
PetriNet and the
WoPeDJGraph with the Constructor you have to call
disableVisualTokenGame().
Created on 21.09.2004