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
Fixed bugs with dot + better error messages
#167
Closed
mtygesen
closed
1 month ago
mtygesen
commented
1 month ago
Fixed bug where dot was not allowed in product type
Fixed error messages with dot