Abstract
The Contract Net Protocol is a task allocation protocol that facilitates negotiation between bidders and an auctioneer in a Multi-Agent System to form a contract. The extension allows the bidders to interact with more than one auctioneer concurrently, and to update their bids until a bid is granted. This introduces flexibility and ensures better selection of a bid. In this paper, we model the Contract Net Protocol - extension with Coloured Petri Nets and show that it terminates correctly. We analyse the terminal states and prove that the agents have consistent beliefs at the end of the negotiations, and that there is no “dead code” in the procedures. Lastly, we show how the number of terminal states and channel bounds are related to the number of bidders.
Keywords
- Contract Net Protocol - extension
- Coloured Petri Nets
- Verification
Download conference paper PDF
References
Aknine, S., Pinson, S., Shakun, M.F.: An Extended Multi-Agent Negotiation Protocol. Autonomous Agents and Multi-Agent Systems 8(1), 5–45 (2004)
Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net Approach to Protocol Verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets 2003. LNCS, vol. 3098, pp. 210–290. Springer, Heidelberg (2004)
Billington, J., Gupta, A.K.: Effectiveness of Coloured Petri nets for Modelling and Analysing the Contract Net Protocol. In: Proceedings of 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007, pp. 49–65 (2007)
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley Longman, Amsterdam (1999)
Fischer, K., Kuhn, N.: A DAI Approach to Modelling the Transportation Domain, DFKI Research Report RR-93-25. German Research Centre for Artificial Intelligence (DFKI), Saarbrücken (1993)
Fischer, K., Müller, J.P., Heimig, I., Scheer, A.W.: Intelligent Agents in Virtual Enterprises. In: Proceedings of the 1st International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, London, UK, pp. 205–223 (1996)
Foundation for Intelligent Physical Agents (FIPA), http://www.fipa.org/specs/fipa00029/SC00029
ISO/IEC. Software and Systems Engineering – High-level Petri Nets – Part 1: Concepts, Definitions and Graphical Notation. ISO/IEC 15909-1, 1 (December 2004)
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Monographs in Theoretical Computer Science, vol. 1 to 3. Springer, Heidelberg (1997)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer 9(3-4), 213–254 (2007)
Paurobally, S.: Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College, London, UK (2002)
Paurobally, S., Cunningham, J., Jennings, N.R.: Verifying the Contract Net Protocol: A Case Study in Interaction Protocol and Agent Communication Language Semantics. In: Proceedings of 2nd International Workshop on Logic and Communication in Multi-Agent Systems, Nancy, France, pp. 98–117 (2004)
Perugini, D.: Agents for Logistics: A Provisional Agreement Approach. PhD thesis, The University of Melbourne, Victoria, Australia (2006)
Perugini, D., Lambert, D.: A Distributed Agent Approach to Global Transportation Scheduling. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology (IAT), Halifax, Canada (2003)
Perugini, D., Lambert, D.: Distributed Information Fusion Agents. In: Proceedings of the 6th International Conference on Information Fusion, Cairns, Australia (2003)
Perugini, D., Lambert, D.: Agent-Based Transport Scheduling in Military Logistics. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394. Springer, Heidelberg (2004)
Perugini, D., Lambert, D.: Provisional Agreement Protocol for Global Transportation Scheduling. In: Proceedings of International Workshop Agent in Traffic and Transportation as part of AAMAS 2004, New York, U.S (2004)
Perugini, D., Lambert, D.: From Single Static to Multiple Dynamic Combinatorial Auctions. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology (IAT), Compiegne University of Technology, France (2005)
Smith, R.G.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions On Computers C-29(12), 1104–1113 (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Billington, J., Gupta, A.K., Gallasch, G.E. (2008). Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2008. FORTE 2008. Lecture Notes in Computer Science, vol 5048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68855-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-68855-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68854-9
Online ISBN: 978-3-540-68855-6
eBook Packages: Computer ScienceComputer Science (R0)