scholarly journals CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

2015 ◽  
Vol 19 (5) ◽  
pp. 115-130
Author(s):  
L. W. Dworza´nski ◽  
I. A. Lomazova
Keyword(s):  
Petri Nets ◽  
Dynamic Structure ◽  
Colored Petri Nets ◽  
Multi Agent Systems ◽  
Modeling Simulation ◽  
Autonomous Behavior ◽  
Cpn Tools ◽  
Multi Agent ◽  
Multi Level ◽  
Natural Way

Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently, there is no tool for supporting NP-nets simulation and analysis. The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.

scholarly journals Branching Processes of Conservative Nested Petri Nets

10.29007/6ntb ◽  
2018 ◽  
Author(s):  
Daniil Frumin ◽  
Irina Lomazova
Keyword(s):  
Petri Nets ◽  
Branching Processes ◽  
Fundamental Property ◽  
Dynamic Structure ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Autonomous Behavior ◽  
Multi Agent ◽  
Multi Level ◽  
Natural Way

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the “nets-within-nets” approach, when tokens in a marking are themselves Petri nets which have autonomous behavior and synchronize with the system net. The formalism of NP- nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. In this paper we define branching processes and unfoldings for conservative NP- nets, i.e. for NP-nets with a persistent set of agents. We prove that NP-nets unfoldings satisfy the fundamental property of unfoldings, and thus can be used for verification of conservative NP-nets in line with classical unfolding methods.

scholarly journals Representing Conversations for Scalable Overhearing

2006 ◽  
Vol 25 ◽  
pp. 349-387 ◽  
Author(s):  
G. Gutnik ◽  
G. A. Kaminka
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Academic Community ◽  
Important Task ◽  
Colored Petri Nets ◽  
Colored Petri Net ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Interesting Approach ◽  
Multi Agent

Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability and suitability for different tasks have not been addressed. This paper addresses both these challenges. First, we analyze existing Petri net representations in terms of their scalability and appropriateness for overhearing, an important task in monitoring open multi-agent systems. Then, building on the insights gained, we introduce a novel representation using Colored Petri nets that explicitly represent legal joint conversation states and messages. This representation approach offers significant improvements in scalability and is particularly suitable for overhearing. Furthermore, we show that this new representation offers a comprehensive coverage of all conversation features of FIPA conversation standards. We also present a procedure for transforming AUML conversation protocol diagrams (a standard human-readable representation), to our Colored Petri net representation.

scholarly journals Towards Multi-Level Semantics for Multi-Agent Systems

2016 ◽  
Vol 324 ◽  
pp. 123-134 ◽  
Author(s):  
Alison R. Panisson ◽  
Rafael H. Bordini ◽  
Antônio Carlos da Rocha Costa
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Multi Level

Flexibility and Security of Careflow Systems Modeled by Petri Nets

2011 ◽  
pp. 84-111
Author(s):  
Boleslaw Mikolajczak
Keyword(s):  
Petri Nets ◽  
Cutaneous Melanoma ◽  
Conceptual Modeling ◽  
Behavioral Flexibility ◽  
Exception Handling ◽  
Colored Petri Nets ◽  
Healthcare Industry ◽  
Workflow Systems ◽  
Behavioral Features ◽  
Multi Level

The purpose of this chapter is to present an interplay of two important structural and behavioral features of robust intelligence in careflow systems, called flexibility and multi-level security. The chapter deals with design and analysis of careflow systems, i.e. workflow systems with applications in broadly understood healthcare industry. The authors focus on providing a robust intelligence to such systems in a form of structural and behavioral flexibility. They analyze several forms of design and run-time flexibility. However, the authors focus on case handling systems, exception handling, and on careflow systems with sub-processes called worklets. They also present how to model multi-level security within careflow systems that already have desired forms of flexibility. This implies that flexibility and security are conceptually independent and can therefore be modeled with Petri nets separately and incrementally in sequential order, first flexibility and then security. The authors apply Petri nets and colored Petri nets as conceptual modeling tool. They use example of Cutaneous Melanoma (CM) to illustrate some of our considerations.

Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets

2018 ◽  
Author(s):  
M. Flores-Geronimo ◽  
E.G. Hernandez-Martinez ◽  
E.D. Ferreira-Vazquez ◽  
J.J. Flores-Godoy ◽  
G. Fernandez-Anaya
Keyword(s):  
Petri Nets ◽  
Urban Traffic ◽  
Traffic Networks ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Modular Modelling ◽  
Urban Traffic Networks

A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS

2012 ◽  
Vol 22 (07) ◽  
pp. 891-925 ◽  
Author(s):  
LILY CHANG ◽  
XUDONG HE ◽  
SOL M. SHATZ
Keyword(s):  
Formal Model ◽  
Dynamic Structure ◽  
Software Systems ◽  
Multi Agent Systems ◽  
New Paradigm ◽  
Distributed Software ◽  
Agent Systems ◽  
Multi Agent ◽  
Communication And Coordination ◽  
Multi Agents

In the past two decades, multi-agent systems have emerged as a new paradigm for conceptualizing large and complex distributed software systems. Even though there are many conceptual frameworks for using multi-agent systems, there is no well established and widely accepted method for the representation of multi-agent systems. We adapt a well-known formal model, predicate transition nets, to include the notions of dynamic structure, agent communication and coordination to address the representation problems. This paper presents a comprehensive methodology for modeling multi-agents based on the extensions. We demonstrate our modeling approach with an example. Several case studies on different application domains from our previous works are also discussed.

Sign in / Sign up

Export Citation Format

Share Document