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 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 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

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.

Modeling and Analysis of Multi-agent Systems using Petri Nets

2009 ◽  
Vol 4 (10) ◽  
Author(s):  
Alan A. Desrochers ◽  
Jose R. Celaya ◽  
Robert J. Graves
Keyword(s):  
Petri Nets ◽  
Multi Agent Systems ◽  
Modeling And Analysis ◽  
Agent Systems ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document