On the Efficient Computation of the Minimal Coverability Set of Petri Nets

Technical Report Number: 
2010.143
TitleOn the Efficient Computation of the Minimal Coverability Set of Petri Nets
Publication TypeJournal Article
Year of Publication2010
AuthorsGeeraerts, G, Raskin J-F, Van Begin L
JournalInt. J. Found. Comput. Sci.
Volume21
Pagination135-165
Refereed DesignationRefereed