On negotiation as concurrency primitive II: Deterministic cyclic negotiations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8412 LNCS, Issue , 2014, Pages 258-273

  Esparza, Javier ^a   Desel, Jörg ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONCURRENCY MODELING; POLYNOMIAL-TIME; REDUCTION RULES; SET OF RULES;

POLYNOMIAL APPROXIMATION;

EID: 84900532553     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-54830-7_17     Document Type: Conference Paper

References (18)

1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits, Syst. and Comput. 08(01), 21-66 (1998)
2. 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 49(11), 1170-1183 (2000)
3. Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 359-376. Springer, Heidelberg (1987)
4. 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-20 (1999)
5. Davis, R., Smith, R.G.: Negotiation as a metaphor for distributed problem solving. Artificial Intelligence 20(1), 63-109 (1983)
6. Desel, J., Esparza, J.: Free choice Petri nets. Cambridge University Press, New York (1995)
7. Esparza, J., Desel, J.: On negotiation as concurrency primitive. In: D'Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 440-454. Springer, Heidelberg (2013); (Extended version in arXiv:1307.2145)
8. Esparza, J., Desel, J.: On negotiation as concurrency primitive II: Deterministic cyclic negotiations. Technical report, Technische Universität München, Germany. Available via arxiv.org (2014)
9. Gastin, P., Petit, A., Zielonka, W.: An extension of Kleene's and Ochmanski's theorems to infinite traces. Theor. Comput. Sci. 125(2), 167-204 (1994)
10. Genest, B., Kuske, D., Muscholl, A.: A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. 204(6), 920-956 (2006)
11. Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronization schemes. Theor. Comput. Sci. 30, 241-318 (1984)
12. Haddad, S.: A reduction theory for coloured nets. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 209-235. Springer, Heidelberg (1990)
13. Haddad, S., Pradat-Peyre, J.-F.: New efficient Petri nets reductions for parallel programs verification. Parallel Processing Letters 16(1), 101-116 (2006)
14. 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)
15. 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 10(2), 199-215 (2001)
16. Simon, C.: Negotiation Processes - The Semantic Process Language and Applications. Shaker, Aachen (2008)
17. 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. 1, pp. 88-102. IEEE (2000)
18. 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-18. IEEE (2001)