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
Checks whether the selection valid after changing color type #8
Closed
LenaSaid closed 2 years ago
Checks whether the comparison operation is valid with the type of color selected in the transition dialogue for colored nets.