The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
GNU General Public License v3.0
7
stars
17
forks
source link
Fix printStats StatisticsLevel condition #139
Closed
Malleek closed 1 year ago
Added statisticsLevel condition on tryReach function. @srba you can review it and merge it