@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