{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:33:27Z","timestamp":1737178407966,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73094-1_17","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T05:53:56Z","timestamp":1183182836000},"page":"263-280","source":"Crossref","is-referenced-by-count":2,"title":["Web Service Orchestration with Super-Dual Object Nets"],"prefix":"10.1007","author":[{"given":"Michael","family":"K\u00f6hler","sequence":"first","affiliation":[]},{"given":"Heiko","family":"R\u00f6lke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Web Services","author":"G. Alonso","year":"2003","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2003)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Busi, N.: Mobile nets. Formal Methods for Open Object-Based Distributed Systems, pp. 51\u201366 (1999)","DOI":"10.1007\/978-0-387-35562-7_5"},{"key":"17_CR3","unstructured":"Common object request broker architecture (1993 -2007) www.omg.org\/corba"},{"key":"17_CR4","unstructured":"The Design CPN homepage http:\/\/www.daimi.au.dk\/designCPN (2007)"},{"issue":"3","key":"17_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1999-37303","volume":"37","author":"B. Farwer","year":"1999","unstructured":"Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae\u00a037(3), 225\u2013246 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications, Advanced Course on General Net Theory of Processes and Systems","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 21\u2013163. Springer, Heidelberg (1980)"},{"key":"17_CR7","unstructured":"Gottschalk, K.: Web services architecture overview. Whitepaper, IBM developerWorks (2000)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K. Hoffmann","year":"2005","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 268\u2013288. Springer, Heidelberg (2005)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-48745-X_14","volume-title":"Application and Theory of Petri Nets 1999","author":"S. Haddad","year":"1999","unstructured":"Haddad, S., Poitrenaud, D.: Theoretical aspects of recursive Petri nets. In: Donatelli, S., Kleijn, J. (eds.) Application and Theory of Petri Nets 1999. LNCS, vol.\u00a01630, pp. 228\u2013247. Springer, Heidelberg (1999)"},{"key":"17_CR10","volume-title":"EATCS monographs on theoretical computer science","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use. In: EATCS monographs on theoretical computer science, Springer, Heidelberg (1992)"},{"key":"17_CR11","unstructured":"Jacob, T., Kummer, O., Moldt, D., Ultes-Nitsche, U.: Implementation of workflow systems using reference nets \u2013 security and operability aspects. In: Jensen, K. (ed.) Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. University of Aarhus, Department of Computer Science (2002)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, M., Moldt, D., Ortmann, J.: Dynamic service composition: A petri-net based approach. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (ed.) Conference on Enterprise Information Systems: Databases and Information Systems Integration (ICEIS 2006), pp. 159\u2013165 (2006)","DOI":"10.5220\/0002494901590165"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-44919-1_11","volume-title":"Applications and Theory of Petri Nets 2003","author":"M. K\u00f6hler","year":"2003","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 121\u2013140. Springer, Heidelberg (2003)"},{"key":"17_CR14","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Concurrency for mobile object-net systems. Fundamenta Informaticae, vol. 54(2-3) (2003)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-540-27793-4_16","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. K\u00f6hler","year":"2004","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Properties of Object Petri Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 278\u2013297. Springer, Heidelberg (2004)"},{"issue":"1-3","key":"17_CR16","first-page":"245","volume":"72","author":"M. K\u00f6hler","year":"2006","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Properties of super-dual nets. Fundamenta Informaticae\u00a072(1-3), 245\u2013254 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR17","unstructured":"Kummer, O.: Introduction to Petri nets and reference nets. Sozionik-aktuell, vol. 1 (2001)"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"17_CR19","unstructured":"Lautenbach, K.: Duality of marked place\/transition nets. Technical Report\u00a018, Universit\u00e4t Koblenz-Landau (2003)"},{"issue":"1-4","key":"17_CR20","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-2000-43123410","volume":"43","author":"I.A. Lomazova","year":"2000","unstructured":"Lomazova, I.A.: Nested Petri nets \u2013 a formalism for specification of multi-agent distributed systems. Fundamenta Informaticae\u00a043(1-4), 195\u2013214 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering (FASE 2005)","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"issue":"5","key":"17_CR22","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S1389-1286(03)00228-7","volume":"42","author":"S. Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Computer Networks\u00a042(5), 675\u2013693 (2003)","journal-title":"Computer Networks"},{"key":"17_CR23","unstructured":"Organization for the advancement of structured information standards (1993\u20132007) www.oasis-open.org"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Automata, Languages and Programming","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: Ausiello, G., B\u00f6hm, C. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a062, pp. 464\u2013476. Springer, Heidelberg (1978)"},{"key":"17_CR25","unstructured":"Valk, R.: Modelling concurrency by task\/flow EN systems. In: 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung (1991)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","first-page":"819","volume-title":"Advanced Course on Petri Nets 2003","author":"R. Valk","year":"2003","unstructured":"Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Advanced Course on Petri Nets 2003. LNCS, vol.\u00a03098, pp. 819\u2013848. Springer, Heidelberg (2003)"},{"issue":"1-2","key":"17_CR27","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst, W., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T00:53:28Z","timestamp":1737161608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730934"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_17","relation":{},"subject":[]}}