GitHub repository: CS-24-SV-9-04/verifypn
Primary language: C++
Description: The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.