NicEastvillage/verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
C++GPL-3.0
Stargazers
No one’s star this repository yet.
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
C++GPL-3.0
No one’s star this repository yet.