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
Fixed issue lp:2006993, selected index calculated wrong when there are product color types. #58
Closed
yrke closed 1 year ago
Original implementation would only work as long as product colors types are at the end off the color list.