TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
3
stars
11
forks
source link
Shows special message when the weight error occurs 1984070 #13
Closed
LenaSaid closed 2 years ago
Solves https://bugs.launchpad.net/tapaal/+bug/1984070.