{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:00:26Z","timestamp":1791331226040,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540282389","type":"print"},{"value":"9783540319290","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538394_15","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:33:54Z","timestamp":1127831634000},"page":"220-235","source":"Crossref","is-referenced-by-count":141,"title":["Transforming BPEL to Petri Nets"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Hinz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karsten","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language forWeb Services, Version 1.1. Technical report, BEA Systems, International Business Machines Corporation, Microsoft Corporation (2003)"},{"key":"15_CR2","unstructured":"Leymann, F.: WSFL- Web Services Flow Language. IBM Software Group, Whitepaper (2001), http:\/\/ibm.com\/webservices\/pdf\/WSFL.pdf"},{"key":"15_CR3","unstructured":"Thatte, S.: XLANG\u2013Web Services for Business Process Design. Microsoft Corporation, Initial Public Draft. (2001), http:\/\/www.gotdotnet.com\/team\/xmlwsspecs\/xlang-c"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J.A. Fisteus","year":"2004","unstructured":"Fisteus, J.A., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW 2004: Proceedings of the 13th international conference on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"ICSOC","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: ICSOC, pp. 242\u2013251. ACM, New York (2004)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. 12th International Workshop on Abstract State Machines","author":"D. Fahland","year":"2005","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In D. Beauquier, E.B., Slissenko, A., eds.: Proc. 12th International Workshop on Abstract State Machines, Paris, March 2005. Lecture Notes in Computer Science, Springer-Verlag (to appear, 2005)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers\u00a08, 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"15_CR10","unstructured":"Martens, A.: Verteilte Gesch\u2219aftsprozesse \u2013Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, WiKu-Verlag Stuttgart (2004)"},{"key":"15_CR11","unstructured":"Schmidt, K.: Controlability of Business Processes. Technical Report 180, Humboldt-Universit\u00e4t zu Berlin (2004)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA \u2013 A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, p. 465. Springer, Heidelberg (2000)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"key":"15_CR14","unstructured":"Starke, P.H., Roch, S.: Ina et al. In: Mortensen, K.H. (ed.) Tool Demonstrations 21st International Conference on Application and Theory of Petri Nets. Department of Computer Science, pp. 51\u201356. University of Aarhus (2000)"},{"key":"15_CR15","volume-title":"Production Workflow \u2013Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow \u2013Concepts and Techniques. Prentice-Hall, Englewood Cliffs (1999)"},{"key":"15_CR16","unstructured":"Stahl, C.: Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt- Universit\u00e4t zu Berlin (2004)"},{"key":"15_CR17","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Technical report, Humboldt- Universit\u00e4t zu Berlin (to appear, June 2005)"},{"key":"15_CR18","unstructured":"Cabrera, G., Copeland, J., Cox, B., Freund, T., Klein, J., Storey, T., Thatte, S.: Web Services Transaction. Vorschlag zur Standardisierung, Version 1.0 (2002), http:\/\/ibm.com\/developerworks\/webservices\/library\/ws-transpec\/"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C. Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"15_CR20","unstructured":"Schmidt, K., Stahl, C.: A Petri net semantic for BPEL4WS - validation and application. In: Kindler, E. (ed.) Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN\u20132004), Universit\u00e4t Paderborn, pp. 1\u20136 (2004)"},{"key":"15_CR21","unstructured":"Hinz, S.: Implementation einer Petrinetz-Semantik f\u00fcr BPEL4WS. Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin (2005)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Billington, J., et al.: The Petri Net Markup Language: Concepts, Technology, and Tools (2003)","DOI":"10.1007\/3-540-44919-1_31"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Schmidt, K.: How to calculate symmetries of petri nets. Acta Informatica, 545\u2013590 (2000)","DOI":"10.1007\/s002360050002"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48745-X_4","volume-title":"Application and Theory of Petri Nets 1999","author":"K. Schmidt","year":"1999","unstructured":"Schmidt, K.: Stubborn set for standard properties. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-24730-2_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Schmidt","year":"2004","unstructured":"Schmidt, K.: Automated Generation of a Progress Measure for the Sweep-Line Method. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 192\u2013204. Springer, Heidelberg (2004)"},{"key":"15_CR26","unstructured":"Heidinger, T.: Statische Analyse von BPEL4WS-Prozessmodellen. Studienarbeit, Humboldt-Universit\u00e4t zu Berlin (2003)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538394_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T23:01:59Z","timestamp":1586473319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538394_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282389","9783540319290"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11538394_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}