WebSPN 3.3

Token Game

The token game givesthe opportunities to study the Petri net evolution, forcing the net toan arbitrary state (using the property inspector to change the number oftokens into the places and/or the arc multiplicity) and modifing the netstate by firing the enabled transitions (represented in green) don't givingimportance about the temporal nature of the transitions.

A transition is fired by simple clicking on it.

During a token game session is possible to:

change the components properties (the selection must be done selectingthe area that contains the component and the property inspector must beopened by the control bar button);
cut, copy & paste selected component;
save the state to a new schematic;
print and export of the token game session;

while, is not possible to:

running the analyzer;
save the schematic;
opening/creating a new document without breaking the session;

The following picture shows a token game session:

Note that the transition T_3 willbe always enabled, since there isn't a placethat can influence its state, so T_3 is a token generator, while T_4is a token flusher.
Also, note that the token into P_4disable the transition T_0.