Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

  • Jonathan Billington
  • Amar Kumar Gupta
  • Guy Edward Gallasch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5048)


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.


Contract Net Protocol - extension Coloured Petri Nets Verification 


  1. 1.
    Aknine, S., Pinson, S., Shakun, M.F.: An Extended Multi-Agent Negotiation Protocol. Autonomous Agents and Multi-Agent Systems 8(1), 5–45 (2004)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley Longman, Amsterdam (1999)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Foundation for Intelligent Physical Agents (FIPA),
  8. 8.
    ISO/IEC. Software and Systems Engineering – High-level Petri Nets – Part 1: Concepts, Definitions and Graphical Notation. ISO/IEC 15909-1, 1 (December 2004)Google Scholar
  9. 9.
    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)CrossRefzbMATHGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Paurobally, S.: Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College, London, UK (2002)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Perugini, D.: Agents for Logistics: A Provisional Agreement Approach. PhD thesis, The University of Melbourne, Victoria, Australia (2006)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Perugini, D., Lambert, D.: Distributed Information Fusion Agents. In: Proceedings of the 6th International Conference on Information Fusion, Cairns, Australia (2003)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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) Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Jonathan Billington
    • 1
  • Amar Kumar Gupta
    • 1
  • Guy Edward Gallasch
    • 1
  1. 1.Computer Systems Engineering CentreUniversity of South AustraliaAustralia

Personalised recommendations