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
product types must contain at least two components - fix 2036984 #106
Closed
srba closed 1 year ago
Fixes this bug: https://bugs.launchpad.net/tapaal/+bug/2036984