{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:22Z","timestamp":1746244942705,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_17","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:30:31Z","timestamp":1395408631000},"page":"258-273","source":"Crossref","is-referenced-by-count":8,"title":["On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"01","key":"17_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"08","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits, Syst. and Comput.\u00a008(01), 21\u201366 (1998)","journal-title":"J. Circuits, Syst. and Comput."},{"issue":"11","key":"17_CR2","doi-asserted-by":"publisher","first-page":"1170","DOI":"10.1109\/12.895935","volume":"49","author":"T. Atdelzater","year":"2000","unstructured":"Atdelzater, T., Atkins, E.M., Shin, K.G.: QoS negotiation in real-time systems and its application to automated flight control. IEEE Transactions on Computers\u00a049(11), 1170\u20131183 (2000)","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef,","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"key":"17_CR4","unstructured":"Chen, Y., Peng, Y., Finin, T., Labrou, Y., Cost, S., Chu, B., Sun, R., Wilhelm, B.: A negotiation-based multi-agent system for supply chain management. In: Proceedings of Agents 1999 Workshop on Agent Based Decision-Support for Managing the Internet-Enabled Supply-Chain, pp. 15\u201320 (1999)"},{"issue":"1","key":"17_CR5","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. Artificial Intelligence\u00a020(1), 63\u2013109 (1983)","journal-title":"Artificial Intelligence"},{"key":"17_CR6","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":"17_CR7","doi-asserted-by":"crossref","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol.\u00a08052, pp. 440\u2013454. Springer, Heidelberg (2013); (Extended version in arXiv:1307.2145)","DOI":"10.1007\/978-3-642-40184-8_31"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive II: Deterministic cyclic negotiations. Technical report, Technische Universit\u00e4t M\u00fcnchen, Germany. Available via arxiv.org (2014)","DOI":"10.1007\/978-3-642-54830-7_17"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(94)90254-2","volume":"125","author":"P. Gastin","year":"1994","unstructured":"Gastin, P., Petit, A., Zielonka, W.: An extension of Kleene\u2019s and Ochmanski\u2019s theorems to infinite traces. Theor. Comput. Sci.\u00a0125(2), 167\u2013204 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"17_CR10","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1016\/j.ic.2006.01.005","volume":"204","author":"B. Genest","year":"2006","unstructured":"Genest, B., Kuske, D., Muscholl, A.: A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput.\u00a0204(6), 920\u2013956 (2006)","journal-title":"Inf. Comput."},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H.J. Genrich","year":"1984","unstructured":"Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronization schemes. Theor. Comput. Sci.\u00a030, 241\u2013318 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-52494-0_31","volume-title":"Advances in Petri Nets 1989","author":"S. Haddad","year":"1990","unstructured":"Haddad, S.: A reduction theory for coloured nets. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 209\u2013235. Springer, Heidelberg (1990)"},{"issue":"1","key":"17_CR13","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 Processing Letters\u00a016(1), 101\u2013116 (2006)","journal-title":"Parallel Processing Letters"},{"key":"17_CR14","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)","edition":"3"},{"issue":"2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1008746126376","volume":"10","author":"N.R. 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 Decision and Negotiation\u00a010(2), 199\u2013215 (2001)","journal-title":"Group Decision and Negotiation"},{"key":"17_CR16","unstructured":"Simon, C.: Negotiation Processes \u2013 The Semantic Process Language and Applications. Shaker, Aachen (2008)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Winsborough, W.H., Seamons, K.E., Jones, V.E.: Automated trust negotiation. In: Proceedings of the DARPA Information Survivability Conference and Exposition, DISCEX 2000, vol.\u00a01, pp. 88\u2013102. IEEE (2000)","DOI":"10.1109\/DISCEX.2000.824965"},{"key":"17_CR18","unstructured":"Xu, H., Shatz, S.M.: An agent-based Petri net model with application to seller\/buyer design in electronic commerce. In: Proceedings of the 5th International Symposium on Autonomous Decentralized Systems, pp. 11\u201318. IEEE (2001)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:46:51Z","timestamp":1746157611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}