D
dev
Development team repository.
- M
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
Development team repository.
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