TAPAAL/verifytapn
VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
C++GPL-2.0
Issues
- 1
- 0
- 0
Remove unnecessary null pointer checks
#23 opened - 0
Use VERSION variable from cmake
#5 opened - 0