Open
Conversation
Static and Token limits are mutually exclusives. places have to be one or another
…he user interface
…an be saved and load now This still allows previous saves to load
…tokens and then undoing last action would remove a token on that place AddTokenCommand now register number of tokens on node and put that value when undoing instead of removing a token
Author
|
This adds the possibility to set a token limit on each places. |
…ming arc for the same transition and a limit
…ersion Proving the boundedness on a Petri Net with token limit on places seems difficult and out of my league Now, the output precises that the rsults ignore token limits.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixed a bug when undoing a AddTokenCommand on a already maxed out place.
The undo would remove a token when the AddTokenCommand actually did nothing
Now the undo put the old value (which can be seen as doing nothing in that case)
Maybe some possible amelioration would be to make the +1 token tool unavailable on maxed out places (with visual effects similar to those on transitions)