Improving control flow verification in a business process using an extended Petri net

Ganna Monakova, Oliver Kopp, Frank Leymann. Improving control flow verification in a business process using an extended Petri net. In Oliver Kopp, Niels Lohmann, editors, 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings. Volume 438 of CEUR Workshop Proceedings, pages 95-101, CEUR-WS.org, 2009. [doi]

Authors

Ganna Monakova

This author has not been identified. Look up 'Ganna Monakova' in Google

Oliver Kopp

Identified as Oliver Kopp

Frank Leymann

This author has not been identified. Look up 'Frank Leymann' in Google