search

TAPAAL / verifytapn

VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.
https://www.tapaal.net
GNU General Public License v2.0
1 stars 4 forks source link

Update CMakeLists.txt #6

Closed srba closed 2 years ago

srba commented 2 years ago

Increased version number to 1.3.1

srba commented 2 years ago

Increased version number to 1.3.1