On the Efficient Computation of the Minimal Coverability Set of Petri Nets

Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin. On the Efficient Computation of the Minimal Coverability Set of Petri Nets. Int. J. Found. Comput. Sci., 21(2):135-165, 2010. [doi]

Abstract

Abstract is missing.