Token Firing

[e17goudi]

Hello Professor, The step by step pilotage seems a little laborious, specifically for a high number of tokens. For lightening this latter cases, I have added a functionality that allows users to set the number of tokens needed. For using this functionality, you just have to:

• Select and then Right-click on the transition you want to activate.
• Click on the button that has the title: "click here to activate the fire N token (s)".

A dialog box must appear.

• Then enter the number of tokens you want to send (negative numbers and special characters are not accepted). For information, if the number entered by the user is greater than the number of tokens located in the place(s): All the tokens in the place(s) before the activated transition will not be sent to the place (s) after the transition. Otherwise the number of tokens sent to the next place (s) will be the number entered by the user.