Juliane Dehnert Armin Zimmermann Making Workflow Models Sound Using Petri Net Controller Synthesis. 139-154 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3290&spage=139 2004 conf/coopis/2004-1 CoopIS/DOA/ODBASE (1) db/conf/coopis/coopis2004-1.html#DehnertZ04