Pierre Ganty Jean-François Raskin Laurent Van Begin From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. 275-305 2008 88 Fundam. Inform. 3 http://iospress.metapress.com/content/b5528363p8177604/ db/journals/fuin/fuin88.html#GantyRB08