@Article{GGRV10,
  author = 	 {Ganty, P. and Geeraerts, G. and Raskin, J.F. and Van~Begin, Laurent},
  title = 	 {Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents},
  journal = 	 {Techniques et Sciences Informatiques},
  year = 	 {2010},
  volume = 	 {28},
  number = 	 {9},
  pages = 	 {1107-1142}
}