search

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3 stars 11 forks source link

All token count 1987397 #42

Closed LenaSaid closed 1 year ago

LenaSaid commented 2 years ago

The number of colored tokens for a place is calculated based on the expression, meaning that .all tokens are not counted as 1, but as the number of tokens the .all constitutes.

Solves https://bugs.launchpad.net/tapaal/+bug/1987397.

LenaSaid commented 2 years ago

The counting does not work for product colors. For example (x.all,x.all) should have 36 tokens assuming that x.all has 6 colors, but the tool displays only 12 tokens here. You can test this in token-ring example where you only have the token (Process.all, Process.all) and it should show 36 tokens.

This should be fixed now