Modeling and analysis of contract net protocol
Fu-Shiung Hsieh
- pp 142-146
TLDR
A framework to execute contract net protocol based on Web Services technologies and a Petri net model to analyze the contract net negotiation results is proposed.Abstract:
Contract net protocol can be implemented by exploiting the Web Service technologies. However, the lack of a process model in contract net protocol to capture the interactions between the bidder and manager agents makes it difficult to analyze the feasibility of the resulting contracts. We proposed a framework to execute contract net protocol based on Web Services technologies and a Petri net model to analyze the contract net negotiation results.read more
Citations
More filters
Journal ArticleDOI
Behavioral modeling and verification of multi-agent systems for manufacturing control
TL;DR: This work describes an efficient and scalable approach to formal verification based on an industrial-strength model checking tool and illustrates it with an example.
Book ChapterDOI
Automated negotiation based on contract net and petri net
TL;DR: The objectives of this paper are to propose a framework to model the negotiation processes in contract manufacturing, analyze the feasibility of the contracts and optimize contract awarding based on the proposed model.
Book ChapterDOI
Improvement and simulation of contract-net-based task allocation for multi-robot system
Hao Lili,Yang Huizhen +1 more
TL;DR: The conceptual model of the multi-robot system based on improved contract net is implemented by Colored Petri Nets, and its correctness and dynamic properties such as liveness property, home property and fairness property are validated by using CPN Tools.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
TL;DR: In this article, the contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver, where task distribution is affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks.
Book
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
TL;DR: Jacques Ferber's authoritative book is the first to provide a single, coherent overview of multi-agent systems, and introduces and defines key concepts throughout the text.
Journal ArticleDOI
Semantic Web services
TL;DR: The authors propose the markup of Web services in the DAML family of Semantic Web markup languages, which enables a wide variety of agent technologies for automated Web service discovery, execution, composition and interoperation.