A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour

2005 ◽  
pp. 122-131 ◽  
Author(s):  
Petros Kefalas ◽  
Ioanna Stamatopoulou ◽  
Marian Gheorghe
Keyword(s):  
Dynamic Structure ◽  
Multi Agent Systems ◽  
Formal Modelling ◽  
Agent Systems ◽  
Modelling Framework ◽  
Multi Agent

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.

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 Intelligent agent for formal modelling of temporal multi-agent systems

2020 ◽  
Vol 13 (1) ◽  
pp. 1-13
Author(s):  
Awais Qasim ◽  
Zeeshan Aziz ◽  
Syed Asad Raza Kazmi ◽  
Adnan Khalid ◽  
Ilyas Fakhir ◽  
...  
Keyword(s):  
Intelligent Agent ◽  
Multi Agent Systems ◽  
Formal Modelling ◽  
Agent Systems ◽  
Multi Agent

scholarly journals Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework

1997 ◽  
Vol 06 (01) ◽  
pp. 67-94 ◽  
Author(s):  
Frances M. T. Brazier ◽  
Barbara M. Dunin-Keplicz ◽  
Nick R. Jennings ◽  
Jan Treur
Keyword(s):  
Transportation Network ◽  
Application Domain ◽  
Multi Agent System ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Modelling Framework ◽  
Formal Framework ◽  
Multi Agent ◽  
High Level ◽  
Electricity Utility

This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented.

Sign in / Sign up

Export Citation Format

Share Document