Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg.
Analyzing Interacting BPEL Processes. In BPM,
Lecture Notes in Computer Science (to appear), 2006. Springer-Verlag.
Karsten Schmidt. LoLA: A Low Level Analyser. In Mogens Nielsen
and Dan Simpson, editors, Application and Theory of Petri Nets, 21st
International Conference (ICATPN 2000), volume 1825 of Lecture
Notes in Computer Science, pages 465-474, June 2000. Springer-Verlag.
