Filters








9,094 Hits in 7.3 sec

A formal compositional model of multiagent interaction

Sea Ling, Seng Wai Loke
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional.  ...  In this paper, we show how to translate these protocols to equivalent Petri net specifications.  ...  The purpose of modelling multiagent systems in Petri nets is to make full use of the well-established analysis methods proposed for Petri nets.  ... 
doi:10.1145/860722.860791 fatcat:rrkojdadnrb7dosgegmqtodswa

A formal compositional model of multiagent interaction

Sea Ling, Seng Wai Loke
2003 Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03  
A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional.  ...  In this paper, we show how to translate these protocols to equivalent Petri net specifications.  ...  The purpose of modelling multiagent systems in Petri nets is to make full use of the well-established analysis methods proposed for Petri nets.  ... 
doi:10.1145/860575.860791 dblp:conf/atal/LingL03 fatcat:n6vnldfiovc23hqtdevu6a55qq

Modelling and visualizing agent conversations

Marisuz Nowostawski, Martin Purvis, Stephen Cranefield
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
This paper describes a proposed formalism based on Petri Nets that is to be used for the modelling of complex, concurrent conversations between agents in a multi-agent system.  ...  A prototype implementation of a system supporting predefined conversation protocols as Petri Net models developed for the New Zealand Distributed Information Systems research platform is described.  ...  We will continue the development of software tools supporting the proposed modelling technique, and in particular the development of a graphical representation and visualizer for debugging and monitoring  ... 
doi:10.1145/375735.376297 dblp:conf/agents/NowostawskiPC01 fatcat:u2365pikvbggpbcjp4miwnqkry

Modeling and Analysis of Contract Net Protocol [chapter]

Fu-Shiung Hsieh
2004 Lecture Notes in Computer Science  
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.  ...  In this paper, we will propose a Petri net [4] model to model the interactions between the bidders and the managers in contract net protocol and facilitate the feasibility analysis of the contract net  ... 
doi:10.1007/978-3-540-27834-4_18 fatcat:fyny3j5qpbbhbcgmghd35gitbi

A Monitoring Toolset for Paose [chapter]

Lawrence Cabac, Till Dörges, Heiko Rölke
2008 Lecture Notes in Computer Science  
Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10] ) with the expressive power of Petri nets -reference nets [12] to  ...  of analysis, such as process mining.  ...  Additionally, underlying Petri nets (as well as Petri net instances) of agents, protocols, decision components and knowledge bases can be directly accessed.  ... 
doi:10.1007/978-3-540-68746-7_26 fatcat:xzcjekjhrjgphbfwn6xulrjzam

Flexible Negotiation Modeling by Using Colored Petri Nets

Quan Bai, Minjie Zhang, Kwang Mong Sim
2009 Journal of Information Technology Research  
In this article, we bring some advantages of Colored Petri Net techniques to capture dynamic and concurrent features of agent negotiations, and propose a Colored Petri Net based approach to model and handle  ...  In this approach, agents can choose different protocols, which are represented in Colored Petri Net models, to operate negotiations.  ...  The CPN is a high-level extension of the Petri Net (PN) (Peterson, 1981) .  ... 
doi:10.4018/jitr.2009070101 fatcat:h32mi5swrnakdl6dihgjggwmc4

MULTI-AGENT CONTROL OF HOLONIC MANUFACTURING SYSTEMS BASED ON PETRI NET

Fu-Shiung Hsieh
2002 IFAC Proceedings Volumes  
, (3)a collaborative Petri net model of collaborative networks and (4)characterization of liveness conditions to award contracts in multi-agent systems.  ...  This paper combines the contract net protocol and Petri net to adaptively synthesize Petri net to control holonic manufacturing systems.  ...  How to combine the modeling and analysis capability of Petri nets with the robust contract net protocol to dynamically distribute tasks based on available resources is an interesting problem.  ... 
doi:10.3182/20020721-6-es-1901.00044 fatcat:kyzq4pqrfzfbnag5q6ughdjz3i

Open protocol design for complex interactions in multi-agent systems

Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02  
to Colored Petri Nets (CPN); 2) Debugging and qualitative analysis of interactions are based on distributed observation associated with the true concurrency semantics (i.e.  ...  This paper proposes a generic approach for protocol engineering through the analysis, the specification, and the verification of such protocols when several agents are involved.  ...  A domain of color, representing information to determine the state of the protocol, is associated with places in the Petri net model.  ... 
doi:10.1145/544865.544866 fatcat:eyrzmtjptzgmzntvjem3mmjrvy

Open protocol design for complex interactions in multi-agent systems

Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad
2002 Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02  
to Colored Petri Nets (CPN); 2) Debugging and qualitative analysis of interactions are based on distributed observation associated with the true concurrency semantics (i.e.  ...  This paper proposes a generic approach for protocol engineering through the analysis, the specification, and the verification of such protocols when several agents are involved.  ...  A domain of color, representing information to determine the state of the protocol, is associated with places in the Petri net model.  ... 
doi:10.1145/544862.544866 dblp:conf/atal/MazouziFH02 fatcat:cz57ha4mkrf33eggmthk6hg36q

Extending Agents by Transmitting Protocols in Open Systems [article]

Lavindra de Silva and Michael Winikoff and Wei Liu
2014 arXiv   pre-print
We therefore also describe an analysis method that infers whether a protocol is safe. Finally, we give an execution model for extended Petri nets.  ...  Suppose that we have a system of agents and that we want to add a new protocol that all (or some) agents should be able to understand.  ...  Propagating Safety Information At the completion of the stages of protocol analysis, the Petri Net protocol may have some places and/or transitions marked "unsafe".  ... 
arXiv:1403.0429v1 fatcat:5evlctozezbedf4khzxjyge4ka

A Distributed Workflow System with Autonomous Components [chapter]

Maryam Purvis, Martin Purvis, Azhar Haidar, Bastin Tony Roy Savarimuthu
2005 Lecture Notes in Computer Science  
The system features autonomous agent components that can adapt to both structural changes in business processes and changes in system parameters, such as the number of available resources.  ...  This adaptation could be a permanent adjustment that should be reflected in all the incoming work cases, or be associated with a particular instance of a work case.  ...  The authors would like to acknowledge the technical support and consultation provided by Mariusz Nowostawski and Peter Hwang of the University of Otago.  ... 
doi:10.1007/978-3-540-32128-6_15 fatcat:xjjhau5grzgxfg7ohpvh2zcs7a

Software Agent Architecture for Managing Inter-Organizational Collaborations

E. Tello-Leal, O. Chiotti, P.D. Villarreal
2014 Journal of Applied Research and Technology  
Planning and execution of the actions of the Process Administrator Agents are driven by a Colored Petri Net machine embedded to them.  ...  In addition, we propose a model-driven development method for generating Colored Petri Net models from a collaborative process model defined as interaction protocol.  ...  Besides, there are many analysis techniques for Petri Nets, which makes it possible to identify deadlocks, proper completion, absence of dead tasks, and safety issues.  ... 
doi:10.1016/s1665-6423(14)71631-1 fatcat:4jiliarusnh2rjcclcwzvkpv4y

A Scalable Petri Net Representation of Interaction Protocols for Overhearing [chapter]

Gery Gutnik, Gal Kaminka
2005 Lecture Notes in Computer Science  
Representing agent conversations is an important aspect of multi-agent applications. Lately, Petri nets have been found to provide certain advantages comparing to other representation approaches.  ...  This paper analyzes the existing Petri net representations in terms of their scalability and appropriateness for monitoring tasks.  ...  Related Work Classification In general, existing Petri net approaches for modeling multi-agent interactions use one of the two following design choices.  ... 
doi:10.1007/978-3-540-32258-0_4 fatcat:h533ql2ozbcg7alcgqxsh6bkmi

Developing cooperation mechanism for multi-agent systems with Petri nets

Fu-Shiung Hsieh
2009 Engineering applications of artificial intelligence  
To characterize the condition for cooperation, we represent the collaborative networks formed based on the contract net protocol with Petri nets and then find the condition for a collaborative network  ...  In contract net protocol, an agent may play the role of a manager or a bidder.  ...  Third, the mathematical foundation of Petri nets can analyze structural and dynamic behaviors of a system. These advantages make Petri nets a suitable modeling and analysis tool.  ... 
doi:10.1016/j.engappai.2009.02.006 fatcat:6nmriggl4vgltjwc6jr4xfuwmi

Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets [chapter]

Wiebke Dresp
2005 Lecture Notes in Computer Science  
[DBC01] introduce the Secure Authentication Protocol for this purpose. In this paper, an exhaustive security analysis of the protocol is presented. First, it is mapped to a coloured petri net.  ...  Then, two different intruder models are developed and integrated separately into it.  ...  Petri Net Model of the Secure Authentication Protocol (Entities F A, HA) To perform an exhaustive security analysis, two different coloured petri nets have to be modeled, each including one of the identified  ... 
doi:10.1007/11552055_23 fatcat:o5yp3mrzcvhyhc6ffdyrsx4kqe
« Previous Showing results 1 — 15 out of 9,094 results