@Article{GRV10,
  author = 	 {Geeraerts, Gilles and Raskin, Jean-François and Van~Begin, Laurent},
  title = 	 {On the efficient computation of the coverability of {P}etri nets},
  journal = 	 {International Journal of Foundations of Computer Science},
  year = 	 {2010},
  key = 	 {},
  volume = 	 {21},
  number = 	 {2},
  pages = 	 {135--165},
  month = 	 {},
  note = 	 {},
  url =          {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/CoverabilitySetPN-journal.pdf},
  annote = 	 {}
}