From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Technical Report PDF: 
Technical Report Number: 
2008.108
TitleFrom Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Publication TypeJournal Article
Year of Publication2008
AuthorsGanty, P, Raskin J-F, Van Begin L
JournalFundam. Inform.
Volume88
Pagination275-305