Skip to content

Conversation

@e17goudi
Copy link

@e17goudi e17goudi commented Mar 6, 2019

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.

jano goudiaby and others added 16 commits March 5, 2019 12:30
And Creating the class Action FireAction.java in the
package org.pneditor.editor.actions
the contructor of the FireTransitionCommand.java command class
to send the number of tokens the user would like to send.
managing undo and redo in Marking.java class
managing redo and undo in the Marking.java
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant