{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:59:29Z","timestamp":1780628369193,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642008986","type":"print"},{"value":"9783642008993","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_9","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T06:24:54Z","timestamp":1237962294000},"page":"152-171","source":"Crossref","is-referenced-by-count":40,"title":["Does My Service Have Partners?"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Wolf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Web Services: Concepts, Architectures and Applications","author":"G. Alonso","year":"2003","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)"},{"key":"9_CR2","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS Standard (April 2007)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, Springer, Heidelberg (1998)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11431855_29","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 415\u2013429. Springer, Heidelberg (2005)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. J. Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"J. Systems and Software"},{"key":"9_CR6","first-page":"73","volume":"105","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. ENTCS\u00a0105, 73\u201394 (2004)","journal-title":"ENTCS"},{"issue":"8","key":"9_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. on Computers"},{"key":"9_CR8","volume-title":"Model Checking","author":"G. Clarke","year":"1999","unstructured":"Clarke, G., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 157\u2013170. Springer, Heidelberg (2001)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica\u00a033, 297\u2013315 (1996)","journal-title":"Acta Informatica"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures. Acta Informatica\u00a027, 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"9_CR13","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In: Proc. ASM, pp. 131\u2013151 (2005)"},{"key":"9_CR14","unstructured":"Gottschalk, K.: Web Services Architecture Overview. IBM Whitepaper, IBM DeveloperWorks (September 2000), \n                  \n                    http:\/\/ibm.com\/developerWorks\/web\/library\/w-ovr"},{"key":"9_CR15","first-page":"1","volume-title":"Proc. PODS","author":"R. Hull","year":"2003","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: Proc. PODS, pp. 1\u201314. ACM, New York (2003)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-27755-2_17","volume-title":"Lectures on Concurrency and Petri Nets","author":"G. Juhas","year":"2004","unstructured":"Juhas, G., Lorenz, R., Neumair, C.: Modelling and Control with Modules of Signal Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 585\u2013625. Springer, Heidelberg (2004)"},{"key":"9_CR17","unstructured":"Kerlin, A.: Bedienbarkeit unter Kausalit\u00e4t. Diploma thesis, Humboldt-Universit\u00e4t zu Berlin (2007)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management","author":"E. Kindler","year":"2000","unstructured":"Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workshop Applications \u2013 Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 235\u2013253. Springer, Heidelberg (2000)"},{"key":"9_CR20","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes. In: Proc. Modellierung, vol.\u00a0LNI P-127, pp. 57\u201372 (2008)"},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","volume":"64","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng.\u00a064(1), 38\u201354 (2008)","journal-title":"Data Knowl. Eng."},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-75183-0_20","volume-title":"Business Process Management","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 271\u2013287. Springer, Heidelberg (2007)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"9_CR24","unstructured":"Lohmann, N., Verbeek, H.M.W., Ouyang, C., Stahl, C., van der Aalst, W.M.P.: Comparing and Evaluating Petri Net Semantics for BPEL. Computer Science Report 07\/23, Eindhoven University of Technology (2007)"},{"key":"9_CR25","unstructured":"Martens, A.: Verteilte Gesch\u00e4ftsprozesse \u2013 Modellierung und Verifikation mit Hilfe von Web Services. Dissertation, Humboldt-Universit\u00e4t zu Berlin (2003)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"issue":"3","key":"9_CR27","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics\u00a01(3), 35\u201343 (2005)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"9_CR28","unstructured":"Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? (accepted for IPL)"},{"issue":"4","key":"9_CR29","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/367211.367268","volume":"44","author":"M.P. Papazoglou","year":"2001","unstructured":"Papazoglou, M.P.: Agent-oriented technology in support of e-business. Commun. ACM\u00a044(4), 71\u201377 (2001)","journal-title":"Commun. ACM"},{"issue":"1","key":"9_CR30","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete -event processes. SIAM J. Control and Optimization\u00a025(1) (1987)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"1-2","key":"9_CR31","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/s00450-005-0209-5","volume":"20","author":"Wolfgang Reisig","year":"2005","unstructured":"Reisig, W., Schmidt, K., Stahl, C.: Kommunizierende Workflow-Services modellieren und analysieren. Informatik - Forschung und Entwicklung, 90\u2013101 (2005)","journal-title":"Informatik - Forschung und Entwicklung"},{"key":"9_CR32","unstructured":"Schmidt, K.: Controllability of Open Workflow Nets. In: Enterprise Modelling and Information Systems Architectures, vol.\u00a0LNI P-75, pp. 236\u2013249 (2005)"},{"key":"9_CR33","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Technical Report 188, Humboldt-Universit\u00e4t zu Berlin (2005)"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/BFb0023729","volume-title":"Computer-Aided Verification","author":"A. Valmari","year":"1991","unstructured":"Valmari, A.: A stubborn attack to state explosion. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 156\u2013165. Springer, Heidelberg (1991)"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-79230-7_10","volume-title":"Web Services and Formal Methods","author":"W. Aalst van der","year":"2008","unstructured":"van der Aalst, W., Lohmannn, N., Massuthe, P., Stahl, C., Wolf, K.: From public views to private views \u2013 correctness-by-design for services. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 139\u2013153. Springer, Heidelberg (2008)"},{"issue":"1","key":"9_CR36","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 in workflow management. J. Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"J. Circuits, Systems, and Computers"},{"key":"9_CR37","unstructured":"Weinberg, D.: Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin (2004)"},{"key":"9_CR38","unstructured":"Wolf, M.: Synchrone und asynchrone Kommunikation in offenen Workflownetzen. Studienarbeit, Humboldt-Universit\u00e4t zu Berlin (2007)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T02:20:35Z","timestamp":1539310835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}