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

Technical Report PDF: 
Technical Report Number: 
2007.77
TitleFrom Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Publication TypeConference Paper
Year of Publication2007
AuthorsGanty, P, Raskin J-F, Van Begin L
Conference NameICATPN