@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} }