{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:25:50Z","timestamp":1747196750661,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662457290"},{"type":"electronic","value":"9783662457306"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45730-6_3","type":"book-chapter","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T17:08:59Z","timestamp":1417540139000},"page":"41-61","source":"Crossref","is-referenced-by-count":3,"title":["Software Engineering with Petri Nets: A Web Service and Agent Perspective"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Betz","sequence":"first","affiliation":[]},{"given":"Lawrence","family":"Cabac","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Duvigneau","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Wagner","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Wester-Ebbinghaus","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","year":"2001","unstructured":"Agha, G., De Cindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)"},{"unstructured":"Aghaee, S., Pautasso, C.: Mashup development with HTML5. In: Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups, Mashups \u201909\/\u201910, pp. 10:1\u201310:8. ACM, New York (2010). http:\/\/doi.acm.org\/10.1145\/1944999.1945009","key":"3_CR2"},{"unstructured":"Betz, T., Cabac, L., G\u00fcttler, M.: Improving the development tool chain in the context of Petri net-based software development. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Proceedings of the Petri Nets and Software Engineering, International Workshop PNSE\u201911. CEUR Workshop Proceedings, Newcastle upon Tyne, UK, June 2011, vol. 723, pp. 167\u2013178. CEUR-WS.org (2011). http:\/\/CEUR-WS.org\/Vol-723","key":"3_CR3"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-24603-6_17","volume-title":"Multiagent System Technologies","author":"T Betz","year":"2011","unstructured":"Betz, T., Cabac, L., Wester-Ebbinghaus, M.: Gateway architecture for Web-based agent services. In: Kl\u00fcgl, F., Ossowski, S. (eds.) MATES 2011. LNCS, vol. 6973, pp. 165\u2013172. Springer, Heidelberg (2011). http:\/\/dx.doi.org\/10.1007\/978-3-642-24603-6_17"},{"key":"3_CR5","volume-title":"Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications","author":"L Cabac","year":"2010","unstructured":"Cabac, L.: Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications, vol. 5. Logos Verlag, Berlin (2010)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-87805-6_5","volume-title":"Multiagent System Technologies","author":"L Cabac","year":"2008","unstructured":"Cabac, L., D\u00f6rges, T., Duvigneau, M., Moldt, D., Reese, C., Wester-Ebbinghaus, M.: Agent models for concurrent software systems. In: Bergmann, R., Lindemann, G., Kirn, S., P\u011bchou\u010dek, M. (eds.) MATES 2008. LNCS (LNAI), vol. 5244, pp. 37\u201348. Springer, Heidelberg (2008)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11494744_10","volume-title":"Applications and Theory of Petri Nets 2005","author":"L Cabac","year":"2005","unstructured":"Cabac, L., Duvigneau, M., Moldt, D., R\u00f6lke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 148\u2013167. Springer, Heidelberg (2005). http:\/\/dx.doi.org\/10.1007\/11494744_10"},{"unstructured":"Cabac, L., Duvigneau, M., Moldt, D., Wester-Ebbinghaus, M.: Towards unit testing for Java reference nets. In: Bergenthum, R., Desel, J. (eds.) Algorithmen und Werkzeuge f\u00fcr Petrinetze. 18. Workshop AWPN 2011, Hagen, September 2011, Tagungsband, pp. 1\u20136 (2011)","key":"3_CR8"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44919-1_10","volume-title":"Applications and Theory of Petri Nets 2003","author":"L Cabac","year":"2003","unstructured":"Cabac, L., Moldt, D., R\u00f6lke, H.: A proposal for structuring Petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102\u2013120. Springer, Heidelberg (2003)"},{"unstructured":"Cabac, L., Schl\u00fcter, J.: ImageNetDiff: a visual aid to support the discovery of differences in Petri nets. In: 15. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, AWPN\u201908. CEUR Workshop Proceedings, vol. 380, pp. 93\u201398. Universit\u00e4t Rostock (2008). http:\/\/CEUR-WS.org\/Vol-380\/paper15.pdf","key":"3_CR10"},{"unstructured":"Duvigneau, M., Moldt, D., R\u00f6lke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J., Wei\u00df, G. (eds.) Proceedings of the 3rd International Workshop on Agent-Oriented Software Engineering, AOSE 2002, Bologna, pp. 147\u2013159. ACM Press (2002)","key":"3_CR11"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/514183.514185","volume":"2","author":"RT Fielding","year":"2002","unstructured":"Fielding, R.T., Taylor, R.N.: Principled design of the modern Web architecture. ACM Trans. Internet Technol. 2, 115\u2013150 (2002). http:\/\/doi.acm.org\/10.1145\/514183.514185","journal-title":"ACM Trans. Internet Technol."},{"doi-asserted-by":"crossref","unstructured":"Greenwood, D., Calisti, M.: Engineering Web service - agent integration. In: 2004 IEEE International Conference on Systems, Man and Cybernetics, vol. 2, pp. 1918\u20131925 (2004)","key":"3_CR13","DOI":"10.1109\/ICSMC.2004.1399962"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S Hinz","year":"2005","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. 3649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11767589_3","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"E Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V., Wagner, R.: Component tools: integrating Petri nets with other formal methods. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 37\u201356. Springer, Heidelberg (2006)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224\u2013241. Springer, Heidelberg (2001). http:\/\/dx.doi.org\/10.1007\/3-540-45740-2_14"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484\u2013493. Springer, Heidelberg (2004). http:\/\/dx.doi.org\/10.1007\/978-3-540-27793-4_29"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-74949-3_7","volume-title":"Multiagent System Technologies","author":"E Le\u00f3n Soto","year":"2007","unstructured":"Le\u00f3n Soto, E.: Agent communication using Web services, a new FIPA message transport service for jade. In: Petta, P., M\u00fcller, J.P., Klusch, M., Georgeff, M. (eds.) MATES 2007. LNCS (LNAI), vol. 4687, pp. 73\u201384. Springer, Heidelberg (2007). http:\/\/dx.doi.org\/10.1007\/978-3-540-74949-3_7"},{"doi-asserted-by":"crossref","unstructured":"Melliti, T., Haddad, S., Suna, A.: Web-masi: multi-agent systems interoperability using a web services based approach. In: International Conference on Intelligent Agent Technology, IEEE\/WIC\/ACM, pp. 739\u2013742. IEEE Computer Society, Washington, DC (2005)","key":"3_CR19","DOI":"10.1109\/IAT.2005.142"},{"doi-asserted-by":"crossref","unstructured":"Miyamoto, T., Kumagai, S.: An agent net approach to autonomous distributed systems. In: Proceedings of 1996 IEEE Systems, Man, and Cybernetics, Beijing, China, 14\u201317 October 1996, pp. 3204\u20133209 (1996)","key":"3_CR20","DOI":"10.1109\/ICSMC.1996.561499"},{"unstructured":"Moldt, D., Offermann, S., Ortmann, J.: A Petri net-based architecture for Web services. In: Cavedon, L., Kowalczyk, R., Maamar, Z., Martin, D., M\u00fcller, I. (eds.) Proceedings of the Workshop on Service-Oriented Computing and Agent-Based Engineering, SOCABE 2005, Utrecht, Netherland, 26 July 2005, pp. 33\u201340 (2005)","key":"3_CR21"},{"issue":"1\u20132","key":"3_CR22","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.jlap.2005.09.007","volume":"97","author":"J Padberg","year":"2006","unstructured":"Padberg, J., Ehrig, H.: Petri net modules in the transformation-based component framework. J. Logic Algebraic Program. 97(1\u20132), 198\u2013225 (2006)","journal-title":"J. Logic Algebraic Program."},{"unstructured":"Pautasso, C., Zimmermann, O., Leymann, F.: Restful web services vs. \u201cbig\u201d web services: making the right architectural decision. In: Proceeding of the 17th International Conference on World Wide Web, WWW \u201908, pp. 805\u2013814. ACM, New York (2008). http:\/\/doi.acm.org\/10.1145\/1367497.1367606","key":"3_CR23"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-17906-2_22","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"W Reisig","year":"1987","unstructured":"Reisig, W.: Petri nets in software engineering. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS, vol. 255, pp. 62\u201396. Springer, Heidelberg (1987). http:\/\/dx.doi.org\/10.1007\/3-540-17906-2_22"},{"doi-asserted-by":"crossref","unstructured":"Shafiq, M.O., Ding, Y., Fensel, D.: Bridging multi agent systems and Web services: towards interoperability between software agents and semantic Web services. In: 10th IEEE International Enterprise Distributed Object Computing Conference, EDOC \u201906, pp. 85\u201396 (2006)","key":"3_CR25","DOI":"10.1109\/EDOC.2006.18"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R Valk","year":"2004","unstructured":"Valk, R.: Object Petri nets - Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819\u2013848. Springer, Heidelberg (2004). http:\/\/dx.doi.org\/10.1007\/978-3-540-27755-2_23"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-29072-5_11","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"T Wagner","year":"2012","unstructured":"Wagner, T., Quenum, J., Moldt, D., Reese, C.: Providing an agent flavored integration for workflow management. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) ToPNoC V. LNCS, vol. 6900, pp. 243\u2013264. Springer, Heidelberg (2012)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"K Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 152\u2013171. Springer, Heidelberg (2009). (special Issue on Concurrency in Process-Aware Information Systems)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45730-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:32:13Z","timestamp":1747175533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45730-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662457290","9783662457306"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45730-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}