Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
scientific article; zbMATH DE number 6155482