mtygesen / verifypn Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tapaal/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
License: GNU General Public License v3.0