issues
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
token-type-change-1987292
#34
Closed
LenaSaid
closed
2 years ago
LenaSaid
commented
2 years ago
Solves
https://bugs.launchpad.net/tapaal/+bug/1987292
.
Solves https://bugs.launchpad.net/tapaal/+bug/1987292.