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]
@inproceedings{MonakovaKL09,
title = {Improving control flow verification in a business process using an extended Petri net},
author = {Ganna Monakova and Oliver Kopp and Frank Leymann},
year = {2009},
url = {http://CEUR-WS.org/Vol-438/paper15.pdf},
tags = {data-flow},
researchr = {https://researchr.org/publication/MonakovaKL09},
cites = {0},
citedby = {0},
pages = {95-101},
booktitle = {1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
editor = {Oliver Kopp and Niels Lohmann},
volume = {438},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}