{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T22:10:33Z","timestamp":1736028633800,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297390"},{"type":"electronic","value":"9783540321323"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575863_69","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T18:57:31Z","timestamp":1128970651000},"page":"495-505","source":"Crossref","is-referenced-by-count":5,"title":["A Petri Net Based Approach for Process Model Driven Deduction of BPEL Code"],"prefix":"10.1007","author":[{"given":"Agnes","family":"Koschmider","sequence":"first","affiliation":[]},{"given":"Marco","family":"Mevius","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"69_CR1","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"69_CR2","unstructured":"Arkin, A.: Business Process Modeling Language, http:\/\/www.bpmi.org\/bpml.esp"},{"key":"69_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0166-3615(02)00139-2","volume":"50","author":"I. Choi","year":"2003","unstructured":"Choi, I., Song, M., Park, C., Park, N.: An XML-based process definition language for integrated process management. Computers in Industry\u00a050, 85\u2013102 (2003)","journal-title":"Computers in Industry"},{"key":"69_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0736-5845(00)00045-4","volume":"17","author":"M. Dong","year":"2001","unstructured":"Dong, M., Chen, F.: Process modeling and analysis of manufacturing supply chain networks using object oriented Petri nets. Robotics and Computer Integrated Manufacturing\u00a017, 121\u2013129 (2001)","journal-title":"Robotics and Computer Integrated Manufacturing"},{"key":"69_CR5","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services, http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"69_CR6","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Schewe, K.-D., Zhou, X. (eds.) Database Technologies, Proc. 14th Australasian Database Conference, pp. 191\u2013200 (2003)"},{"issue":"3","key":"69_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"2001","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (2001)","journal-title":"Science of Computer Programming"},{"key":"69_CR8","doi-asserted-by":"crossref","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005) (to appear)","DOI":"10.1007\/11538394_15"},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, vol.\u00a01. Berlin (1992)","DOI":"10.1007\/978-3-662-06289-0"},{"key":"69_CR10","doi-asserted-by":"crossref","unstructured":"Karagiannis, D., Juninger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Stickel, S.-R. (ed.) Business Process modeling, pp. 81\u2013106 (1996)","DOI":"10.1007\/978-3-642-80317-8_5"},{"key":"69_CR11","doi-asserted-by":"crossref","unstructured":"Lenz, K., Mevius, M., Oberweis, A.: Process-oriented Business Performance Management with Petri Nets. In: Cheung, W., Hsu, J. (eds.) Proc. 2nd IEEE Conference on e-Technology, e-Commerce and e-Services, Hong Kong, pp. 89\u201392 (2005)","DOI":"10.1109\/EEE.2005.107"},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"Lenz, K., Mandaric, A., Oberweis, A.: Modeling Processes for Managing Reputation Information - A Petri Net Approach. In: Cordeiro, J., Filipe, J. (Hrsg.) Proceedings of the 1st International Workshop on Computer Supported Activity Coordination (CSAC 2004), Porto\/Portugal, pp. 136\u2013148 (April 2004)","DOI":"10.5220\/0002668901360148"},{"key":"69_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-40022-6_12","volume-title":"Petri Net Technology for Communication-Based Systems","author":"K. Lenz","year":"2003","unstructured":"Lenz, K., Oberweis, A.: Inter-organizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 243\u2013263. Springer, Heidelberg (2003)"},{"key":"69_CR14","unstructured":"Lenz, K., Oberweis, A.: Workflow Services: A Petri Net-Based Approach to Web Services. In: Proceedings of Int. Symposium on Leveraging Applications of Formal Methods, Paphos\/Cyprus, pp. 35\u201342 (November 2004)"},{"key":"69_CR15","unstructured":"Mantell, K.: From UML to BPEL, Model Driven Architecture in a Web services world, IBM, http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel\/"},{"key":"69_CR16","doi-asserted-by":"crossref","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-65306-6"},{"key":"69_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-540-47919-2_6","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"W. Reisig","year":"1987","unstructured":"Reisig, W.: Place\/Transition Systems. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 117\u2013141. Springer, Heidelberg (1987)"},{"key":"69_CR18","doi-asserted-by":"crossref","unstructured":"Scheer, A.-W.: ARIS \u2013 Business Process Modeling, 2nd edn. Berlin (1999)","DOI":"10.1007\/978-3-642-97998-9"},{"key":"69_CR19","doi-asserted-by":"crossref","unstructured":"Schuster, H., Georgakopoulos, D., Cichocki, A.: Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes. In: Proceeding of the 12th Conference on Advanced Information Systems Engineering, Stockholm (2000)","DOI":"10.1007\/3-540-45140-4_17"},{"issue":"2","key":"69_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1080\/00207540010004287","volume":"39","author":"A. Zimmermann","year":"2001","unstructured":"Zimmermann, A., Freiheit, J., Huck, A.: A Petri net based design engine for manufacturing systems. International Journal of Production Research\u00a039(2), 225\u2013253 (2001)","journal-title":"International Journal of Production Research"},{"key":"69_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39648-2_18","volume-title":"Conceptual Modeling - ER 2003","author":"P. Wohed","year":"2003","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 200\u2013215. Springer, Heidelberg (2003)"},{"key":"69_CR22","unstructured":"W3C. Web Services Description Language (WSDL) Version 2.0 PART 1: Core Language. W3C Working Draft (2005), http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"69_CR23","unstructured":"W3C. Web Service Architecture Requirement, W3C Working Group Note (2004), http:\/\/www.w3.org\/TR\/wsa-reqs\/"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575863_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T21:48:14Z","timestamp":1736027294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575863_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297390","9783540321323"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11575863_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}