Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets
作者： Jonathan Billington , Amar Kumar Gupta , Guy Edward Gallasch
DOI: 10.1007/978-3-540-68855-6_11
关键词: Contract Net Protocol 、 Channel (programming) 、 Protocol (object-oriented programming) 、 Distributed computing 、 Dead code 、 Petri net 、 Computer science 、 Extension (predicate logic) 、 Task (project management) 、 Terminal (electronics) 、 Mathematical optimization
摘要: The Contract Net Protocol is a task allocation protocol that facilitates negotiation between bidders and an auctioneer in Multi-Agent System to form contract. extension allows the interact with more than one concurrently, update their bids until bid granted. This introduces flexibility ensures better selection of bid. In this paper, we model - Coloured Petri Nets show it terminates correctly. We analyse terminal states prove agents have consistent beliefs at end negotiations, there no "dead code" procedures. Lastly, how number channel bounds are related bidders.
springer.com
springerlink.com参考文章(18)
Lectures on Concurrency and Petri Nets Springer Berlin Heidelberg. ,(2004) , 10.1007/B98282
Don Perugini, Leon Sterling, Adrian Pearce, Dale Lambert, A Distributed Agent Approachto Global Transportation Scheduling ieee wic acm international conference on intelligent agent technology. pp. 18- 24 ,(2003)
Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use ,(2011)
D. Perugini, D. Lambert, L. Sterling, A. Pearce, A distributed agent approach to global transportation scheduling ieee wic acm international conference on intelligent agent technology. pp. 18- 24 ,(2003) , 10.1109/IAT.2003.1241043
Don Perugini, Dale Lambert, Leon Sterling, Adrian Pearce, Provisional Agreement Protocol for Global Transportation Scheduling adaptive agents and multi agents systems. pp. 17- 32 ,(2005) , 10.1007/3-7643-7363-6_2
Jacques Ferber, Gerhard Weiss, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence ,(1999)
Shamimabi Paurobally, Nicholas R. Jennings, Jim Cunningham, Verifying the contract net protocol: a case study in interaction protocol and agent communication semantics 2nd International Workshop on Logic and Communication in Multi-Agent Systems. ,(2004)
Jarred McGinnis, David Robertson, Dynamic and Distributed Interaction Protocols Adaptive Agents and Multi-Agent Systems. pp. 167- 184 ,(2004) , 10.1007/978-3-540-32274-0_11
Samir Aknine, Suzanne Pinson, Melvin F. Shakun, An Extended Multi-Agent Negotiation Protocol Autonomous Agents and Multi-Agent Systems. ,vol. 8, pp. 5- 45 ,(2004) , 10.1023/B:AGNT.0000009409.19387.F8
Kurt Jensen, Lars Michael Kristensen, Lisa Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems International Journal on Software Tools for Technology Transfer. ,vol. 9, pp. 213- 254 ,(2007) , 10.1007/S10009-007-0038-X