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]

Abstract

Abstract is missing.