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 with arc expressions not showing on input arcs #169
Closed
mtygesen closed 1 month ago