/verifytapn

VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.

Primary LanguageC++GNU General Public License v2.0GPL-2.0

Stargazers