Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin. Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Technique et Science Informatiques, 28(9):1107-1142, 2009. [doi]
Abstract is missing.