VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
GNU General Public License v2.0
1
stars
4
forks
source link
Updated CMake and CI actions to mache other tools #4
Closed
yrke closed 2 years ago