MinCoverPetri is a command-line application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm

Name
Last commit
Last update
docker Loading commit data...
src Loading commit data...
tests Loading commit data...
third_party Loading commit data...
webpage Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
CMakeLists.txt Loading commit data...
license.txt Loading commit data...
readme.md Loading commit data...