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
Wrong trace workflow analysis - fix 2035755
#148
Closed
mtygesen
closed
4 months ago
mtygesen
commented
5 months ago
For:
https://bugs.launchpad.net/tapaal/+bug/2035755
For: https://bugs.launchpad.net/tapaal/+bug/2035755