References
| [Bea03] |
J. Billington et al. The Petri Net Markup
Language: Concepts, Technology, and Tools, 2003.
|
| [CGK+03] |
F. Curbera, Y. Goland, J. Klein, F. Leymann, D.
Roller, S. Thatte, and S. Weerawarana. Business
Process Execution Language for Web Services, Version
1.1. Technical report, BEA Systems, International
Business Machines Corporation, Microsoft Corporation,
May 2003.
|
| [DOT] |
Website of the Graphviz tool dot.
http://www.graphviz.org
|
| [LoLA] |
Website of LoLA.
http://www2.informatik.hu-berlin.de/top/lola/lola.html
|
| [Sch00] |
K. 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. 
|
| [SHS05] |
C. Stahl S. Hinz, K. Schmidt. Transforming
BPEL to Petri Nets. In Proceedings of the
Third International Conference on Business Process
Management (BPM 2005), Nancy, France, 2005. Note:
To appear.
|
| [Sta05] |
C. Stahl. A Petri Net Semantics for BPEL.
Informatik-Berichte 188, Humboldt-Universität zu
Berlin, June 2005. |
|
|
 
|