Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Pierre-Alain Reynier, Frédéric Servais. Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 69-88, Springer, 2011. [doi]

Abstract

Abstract is missing.