/verifypn

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

Primary LanguageC++GNU General Public License v3.0GPL-3.0

This repository is not active