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

Technical Report PDF: 
Technical Report Number: 
2007.81
TitleOn the Efficient Computation of the Minimal Coverability Set for Petri Nets
Publication TypeConference Paper
Year of Publication2007
AuthorsGeeraerts, G, Raskin J-F, Van Begin L
Conference NameATVA