A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets.

Victor Pankratius Wolffried Stucky A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets. 79-88 2005 conf/apccm/2005 APCCM http://crpit.com/confpapers/CRPITV43Pankratius.pdf db/conf/apccm/apccm2005.html#PankratiusS05