A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A formal compositional model of multiagent interaction
2003
Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03
Preserved Fulltext
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
2003
Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the fifth international conference on Autonomous agents - AGENTS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Information Technology Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, (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
2002
Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Applied Research and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Engineering applications of artificial intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
[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