@inproceedings{GRV07,
  author =       {Geeraerts, G. and Raskin, J.-F. and {Van~Begin}, L.},
  title =        {On the efficient Computation of the Minimal Coverability set of Petri nets},
  year =         {2007},
  booktitle =    {Proceedings of ATVA'07 --  5th {I}nternational {S}ymposium on
{A}utomated {T}echnology for {V}erification and {A}nalysis} 
  url =          {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/covsetpn.pdf},
  editor =       {K.S. Namjoshi et al.},
  publisher =    {{S}pringer-{V}erlag},
  series =       {{L}ecture {N}otes in {C}omputer {S}cience},
  volume =       {4762},
  pages =        {98--113}

}