{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T14:37:52Z","timestamp":1787063872987,"version":"build-2736575974"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T00:00:00Z","timestamp":1521504000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["273811150"],"award-info":[{"award-number":["273811150"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Insitute of Advanced Studies, Technical University of Munich"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s00236-018-0318-9","type":"journal-article","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T04:57:44Z","timestamp":1521521864000},"page":"93-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Negotiation as concurrency primitive"],"prefix":"10.1007","volume":"56","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9862-4919","authenticated-orcid":false,"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philipp","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,3,20]]},"reference":[{"issue":"11","key":"318_CR1","doi-asserted-by":"publisher","first-page":"1170","DOI":"10.1109\/12.895935","volume":"49","author":"TF Atdelzater","year":"2000","unstructured":"Atdelzater, T.F., Atkins, E.M., Shin, K.G.: QoS negotiation in real-time systems and its application to automated flight control. IEEE Trans. Comput. 49(11), 1170\u20131183 (2000)","journal-title":"IEEE Trans. Comput."},{"key":"318_CR2","doi-asserted-by":"crossref","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Advances in Petri Nets, LNCS, vol. 254, pp. 359\u2013376. Springer (1986)","DOI":"10.1007\/978-3-540-47919-2_13"},{"issue":"3","key":"318_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1142\/S0218843011002237","volume":"20","author":"E Bacarin","year":"2011","unstructured":"Bacarin, E., Madeira, E.R.M., Medeiros, C.B., van der Aalst, W.M.P.: SpiCa\u2019s multi-party negotiation protocol: Implementation using YAWL. Int. J. Cooper. Inf. Syst. 20(3), 221\u2013259 (2011)","journal-title":"Int. J. Cooper. Inf. Syst."},{"key":"318_CR4","doi-asserted-by":"crossref","unstructured":"Capkovic, F.: Cooperation and negotiation of agents by means of Petri net-based models. In: 17th International Conference on Methods and Models in Automation and Robotics (MMAR), pp. 256\u2013261 (2012)","DOI":"10.1109\/MMAR.2012.6347878"},{"key":"318_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)"},{"key":"318_CR6","unstructured":"Desel, J., Esparza, J.: Negotiations and Petri nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE\u201915), CEUR Workshop. CEUR-WS.org, vol. 1372, pp. 41\u201357 (2015)"},{"key":"318_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-14543-1","volume-title":"Struktur und Analyse von Free-Choice-Petrinetzen","author":"J Desel","year":"1992","unstructured":"Desel, J.: Struktur und Analyse von Free-Choice-Petrinetzen. DUV Informatik. Deutscher Universit\u00e4tsverlag, Wiesbaden (1992)"},{"issue":"1","key":"318_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(83)90015-2","volume":"20","author":"R Davis","year":"1983","unstructured":"Davis, R., Smith, R.G.: Negotiation as a metaphor for distributed problem solving. Artif. Intell. 20(1), 63\u2013109 (1983)","journal-title":"Artif. Intell."},{"key":"318_CR9","doi-asserted-by":"crossref","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive. In: CONCUR, Lecture Notes in Computer Science, vol. 8052. Springer, pp. 440\u2013454 (2013)","DOI":"10.1007\/978-3-642-40184-8_31"},{"key":"318_CR10","doi-asserted-by":"crossref","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive II: Deterministic cyclic negotiations. In: FoSSaCS, Lecture Notes in Computer Science. Springer, pp. 258\u2013273, vol. 8412 (2014)","DOI":"10.1007\/978-3-642-54830-7_17"},{"key":"318_CR11","doi-asserted-by":"crossref","unstructured":"Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, Lecture Notes in Computer Science, vol. 9633. Springer, pp. 342\u2013358 (2016)","DOI":"10.1007\/978-3-662-49665-7_20"},{"key":"318_CR12","doi-asserted-by":"crossref","unstructured":"Esparza, J., Hoffmann, P., Saha, R.: Polynomial analysis algorithms for free choice probabilistic workflow nets. In: Proceedings of the 13th International Conference on Quantitative Evaluation of Systems, QEST 2016, Lecture Notes in Computer Science, vol. 9826. Springer, pp. 89\u2013104 (2016)","DOI":"10.1007\/978-3-319-43425-4_6"},{"key":"318_CR13","doi-asserted-by":"crossref","unstructured":"Esparza, J., Muscholl, A., Walukiewicz, I.: Static analysis of deterministic negotiations. In: Proceedings of LICS\u201917 (2017, to appear)","DOI":"10.1109\/LICS.2017.8005144"},{"key":"318_CR14","doi-asserted-by":"crossref","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems\u2014an introduction. In: Petri Nets, LNCS, vol. 1491. Springer, pp. 374\u2013428 (1996)","DOI":"10.1007\/3-540-65306-6_20"},{"key":"318_CR15","doi-asserted-by":"crossref","unstructured":"Favre, C., V\u00f6lzer, H., M\u00fcller, P.: Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets). In: Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, Lecture Notes in Computer Science, vol. 9636. Springer, pp. 463\u2013479 (2016)","DOI":"10.1007\/978-3-662-49674-9_27"},{"key":"318_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"HJ Genrich","year":"1984","unstructured":"Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronization schemes. Theor. Comput. Sci. 30, 241\u2013318 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"318_CR17","first-page":"209","volume-title":"Advances in Petri Nets, LNCS","author":"S Haddad","year":"1988","unstructured":"Haddad, S.: A reduction theory for coloured nets. In: Rozenberg, G. (ed.) Advances in Petri Nets, LNCS, vol. 424, pp. 209\u2013235. Springer, Berlin (1988)"},{"key":"318_CR18","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman, Boston (2006)","edition":"3"},{"issue":"1","key":"318_CR19","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1142\/S0129626406002502","volume":"16","author":"S Haddad","year":"2006","unstructured":"Haddad, S., Pradat-Peyre, J.-F.: New efficient Petri nets reductions for parallel programs verification. Parallel Process. Lett. 16(1), 101\u2013116 (2006)","journal-title":"Parallel Process. Lett."},{"issue":"2","key":"318_CR20","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1008746126376","volume":"10","author":"NR Jennings","year":"2001","unstructured":"Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M.J., Sierra, C.: Automated negotiation: prospects, methods and challenges. Group Decis. Negot. 10(2), 199\u2013215 (2001)","journal-title":"Group Decis. Negot."},{"key":"318_CR21","doi-asserted-by":"crossref","unstructured":"Ji, S., Tian, Q., Liang, Y.: A Petri-net-based modeling framework for automated negotiation protocols in electronic commerce. In: PRIMA, LNCS, vol. 4078. Springer, pp. 324\u2013336 (2005)","DOI":"10.1007\/978-3-642-03339-1_26"},{"key":"318_CR22","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C.H., Yannakakis, M.: The complexity of facets (and some facets of complexity). In: Lewis, H.R., Simons, B.B., Burkhard, W.A., Landweber, L.H. (eds.) STOC. ACM, pp. 255\u2013260 (1982)","DOI":"10.1145\/800070.802199"},{"key":"318_CR23","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Ferrara, A., Chirichiello, A.: Negotiation among web services using LOTOS\/CADP. In: ECOWS, LNCS, vol. 3250. Springer, pp. 198\u2013212 (2004)","DOI":"10.1007\/978-3-540-30209-4_15"},{"issue":"01","key":"318_CR24","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"08","author":"WMP Aalst van\u00a0der","year":"1998","unstructured":"van\u00a0der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 08(01), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"318_CR25","doi-asserted-by":"crossref","unstructured":"van\u00a0Dongen, B.F., van\u00a0der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: CAiSE, LNCS, vol. 3520. Springer, pp. 372\u2013386 (2005)","DOI":"10.1007\/11431855_26"},{"issue":"2","key":"318_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.jcss.2009.06.003","volume":"76","author":"HMW Verbeek","year":"2010","unstructured":"Verbeek, H.M.W., Wynn, M.T., van\u00a0der Aalst, W.M.P., ter Hofstede, A.H.M.: Reduction rules for reset\/inhibitor nets. J. Comput. Syst. Sci 76(2), 125\u2013143 (2010)","journal-title":"J. Comput. Syst. Sci"},{"key":"318_CR27","unstructured":"Winsborough, W.H., Seamons, K.E., Jones, V.E.: Automated trust negotiation. In: Proceedings of the DARPA Information Survivability Conference and Exposition, 2000. DISCEX\u201900, vol. 1. IEEE, pp. 88\u2013102 (2000)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-018-0318-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-018-0318-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-018-0318-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T13:29:17Z","timestamp":1556198957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-018-0318-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,20]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["318"],"URL":"https:\/\/doi.org\/10.1007\/s00236-018-0318-9","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,20]]},"assertion":[{"value":"4 April 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}