{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T08:19:29Z","timestamp":1791965969306,"version":"4.3.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662534007","type":"print"},{"value":"9783662534014","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_10","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:34:52Z","timestamp":1472830492000},"page":"203-225","source":"Crossref","is-referenced-by-count":2,"title":["Negotiations and Petri Nets"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"issue":"01","key":"10_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"08","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 08(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"issue":"11","key":"10_CR2","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1109\/12.895935","volume":"49","author":"T Abdelzaher","year":"2000","unstructured":"Abdelzaher, T., 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":"10_CR3","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T., Ouederni, M.: SIGPLAN notices. POPL 2012, 47(1) (2012). issn = 0362-1340. ACM, New York","DOI":"10.1145\/2103621.2103680"},{"key":"10_CR4","unstructured":"Chen, Y., Peng, Y., Finin, T., Labrou, Y., Chu, B., Yao, J., Sun, R., Willhelm, B., Cost, S.: A negotiation-based multi-agent system for supply chain management. In: Proceedings of Agents 99 - Workshop on Agent Based Decision-Support for Managing the Internet-Enabled Supply-Chain, pp. 15\u201320 (1999)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"crossref","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":"10_CR6","doi-asserted-by":"crossref","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":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-36577-X_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"EA Emerson","year":"2003","unstructured":"Emerson, E.A., Kahlon, V.: Rapid parameterized model checking of snoopy cache coherence protocols. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 144\u2013159. Springer, Heidelberg (2003)"},{"key":"10_CR8","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol. 8052, pp. 440\u2013454. Springer, Heidelberg (2013). Extended version in CoRR, abs\/1307.2145, http:\/\/arxiv.org\/abs\/1307.2145"},{"key":"10_CR9","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive II: deterministic cyclic negotiations. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 258\u2013273. Springer, Heidelberg (2014). Extended version in CoRR, abs\/1403.4958, http:\/\/arxiv.org\/abs\/1403.4958"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-319-19488-2_8","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"J Esparza","year":"2015","unstructured":"Esparza, J., Desel, J.: Negotiation programs. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 157\u2013178. Springer, Heidelberg (2015)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-662-49665-7_20","volume-title":"Fundamental Approaches to Software Engineering","author":"J Esparza","year":"2016","unstructured":"Esparza, J., Hoffmann, P.: Reduction rules for colored workflow nets. In: Stevens, P., Wasowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 342\u2013358. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49665-7_20"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/978-3-540-27755-2_15","volume-title":"Lectures on Concurrency and Petri Nets","author":"B Genest","year":"2004","unstructured":"Genest, B., Muscholl, A., Peled, D.A.: Message sequence charts. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 537\u2013558. Springer, Heidelberg (2004)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"crossref","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."},{"issue":"10","key":"10_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. IEEE Comput. 36(10), 46\u201352 (2003). doi: 10.1109\/MC.2003.1236471","journal-title":"IEEE Comput."},{"issue":"3","key":"10_CR15","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSC.2011.9","volume":"5","author":"G Sala\u00fcn","year":"2012","unstructured":"Sala\u00fcn, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE Trans. Serv. Comput. 5(3), 290\u2013304 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"10_CR16","volume-title":"Negotiation Processes - The Semantic Process Language and Applications","author":"C Simon","year":"2008","unstructured":"Simon, C.: Negotiation Processes - The Semantic Process Language and Applications. Shaker, Aachen (2008)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Winsborough, W.H., Seamons, K.E., Jones, V.E.: Automated trust negotiation. In: DARPA Information Survivability Conference and Exposition, DISCEX 2000 Proceedings, vol. 1, pp. 88\u2013102. IEEE (2000)","DOI":"10.1109\/DISCEX.2000.824965"},{"key":"10_CR18","unstructured":"Xu, H., Shatz, S.M.: An agent-based Petri net model with application to seller\/buyer design in electronic commerce. In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, 26\u201328 March 2001, pp. 11\u201318. IEEE Computer Society (2001)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T16:22:22Z","timestamp":1749572542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}