M
mincoverpetri
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
-
Florent Jaillet authored
| Name |
Last commit
|
Last update |
|---|---|---|
| docker | ||
| src | ||
| tests | ||
| third_party | ||
| webpage | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| CMakeLists.txt | ||
| license.txt | ||
| readme.md |