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
updated Icon to tapaal 4.0
#101
Closed
srba
closed
1 year ago
srba
commented
1 year ago
Updated applicaton icon to 4.0
Updated applicaton icon to 4.0