MathiasMehl's repositories
Language:Jupyter Notebook000
Records-Eyepiece
Records Eyepiece
Language:PHPGPL-3.0000
verifypn
The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
Language:C++GPL-3.0000