Papers by borhen marzougui
Formal model for coordination in multi-agents system based Petri Net agent
2017 International Conference on Smart, Monitored and Controlled Cities (SM2C), 2017
The field of multi-agent systems is a very active area of research. These multi-agent systems evo... more The field of multi-agent systems is a very active area of research. These multi-agent systems evolve through the behavior of different entities within their environment. Given the importance of the interaction between the agents in the evolution and multi-agent system stability, we are interested in this paper to achieve target by developing a formal model of coordination between agents for managing their communications. The formal model Established uses the formalism of Petri Net agents. The resulting model can be validated with an example of coordination between robots.
Modelling of loading and unloading system of a ship by a mullti-agents system
2013 International Conference on Computer Applications Technology (ICCAT), 2013
The advent of containers has changed the world of shipping. In this sense, shipping has been expa... more The advent of containers has changed the world of shipping. In this sense, shipping has been expanding during the last 30 years and it is expected that worldwide traffic of containers (134 millions in 2009) would reach 210 millions of containers by 2015. This article deals with the simulation of mobile ship while loading and unloading containers from a port of origin to a destination port after crossing other ports. We present a cooperation agents based solution in order to resolve this problem. Indeed our study extends from local migration process, in one single port, to cope with the process of migration between multiple ports. In this way, we minimize total running time of this process. Therefore, we implement a management system of shipping (MSS) in order to simulate the problem already mentioned.
Toward a New Model of the Petri Nets: Agent Petri Nets
2010 Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010
This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems... more This paper belongs to the domain of the engineering of the Petri Net (PN) and Multi agent Systems (MAS). It aims to defining a new formalism for the modeling of MAS. This formalism is based on agents called Agent Petri Nets (APN). That's why, the definitions that manipulate the internal state of the agent and its behavior are proposed. Indeed, the other formalisms are no more capable of modeling the systems of large size and the interaction between the entities that compose them. The proposed mathematical definitions help us in modeling rigorously and without ambiguity the interactive systems. So, the proposed model describes in a quite natural way the MAS. To validate our approach, we will deal with simple examples.
تصوّر نموذج لمرسوم التّفاعل في الأنظمة المتعدّدة الوكلاء
Modeling Migration of Mobile Agents
In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interact... more In Modeling Multi agent systems (MAS), the mobility of agent is a basic issue to express interactions of flow actions, consequently, modelling migration process is a crucial issue. In this paper, we integrate the Ferber and Muller’s Influence/Reaction model in Agent Petri Nets (APN) to model migration mobile agents. This model clarifies the migration process of agent from an environment to another and enhances its capacity for formal verification.
Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser e... more Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA). De nombreuses solutions ont été proposées pour remédier aux problèmes de communication, de coordination et d'interaction entre les Agents. Cependant, il n'existe aucune en mesure de traiter, à la fois les aspects structurels et comportementaux, du moins à notre connaissance. La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents. Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d'exprimer de manière consistante et plus précise les systèmes Multi Agents. Il s'intéresse de plus à l'extension de ce modèle aux fins de modéliser la migration des Agents dans le cadre des systèmes à Agents mobiles. Cette classe de modèle permet de s'intéresser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l'absence d'interblocage dans le cadre des Systèmes Multi-Agent.
تصوّر نموذج لمرسوم التّفاعل في الأنظمة المتعدّدة الوكلاء
Communications of the Acs, Mar 1, 2012
Http Www Theses Fr, Jun 12, 2014
Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser e... more Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA). De nombreuses solutions ont été proposées pour remédier aux problèmes de communication, de coordination et d'interaction entre les Agents. Cependant, il n'existe aucune en mesure de traiter, à la fois les aspects structurels et comportementaux, du moins à notre connaissance. La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents. Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d'exprimer de manière consistante et plus précise les systèmes Multi Agents. Il s'intéresse de plus à l'extension de ce modèle aux fins de modéliser la migration des Agents dans le cadre des systèmes à Agents mobiles. Cette classe de modèle permet de s'intéresser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l'absence d'interblocage dans le cadre des Systèmes Multi-Agent.
Journal of Software Engineering and Applications, Aug 30, 2013
This paper deals with the proposal of a new model based on Agent Petri Nets (APN) to specify inte... more This paper deals with the proposal of a new model based on Agent Petri Nets (APN) to specify interactions among agents in Multi Agents System (MAS). Indeed, an agent approach requires a powerful and expressive formalism that allows him to model the behavior of a set of agents that interact. We are modeling some variants of FIPA standard protocols. Our Models are found based on communicating cognitive agents. Each Agent is capable of perceiving their environment partly and building, sending and receiving messages.
International Journal of Advanced Computer Science and Applications, 2013
this paper deals with the modeling of interaction between agents in Multi Agents System (MAS) bas... more this paper deals with the modeling of interaction between agents in Multi Agents System (MAS) based on Agent Petri Nets (APN). Our models are created based on communicating agents. Indeed, an agent initiating a conversation with other can specify the interaction protocol wishes to follow. The combination of APN and FIPA Protocols schemes leads to a set of deployment formal rules for points where model interaction can be successfully implemented. We introduce some models FIPA standard protocols.
The domain of Petri Nets (PN) engineering has been the concern of many researchers. The present p... more The domain of Petri Nets (PN) engineering has been the concern of many researchers. The present paper lies within this context aiming at the definition of a new formalism for the modelling at the multi agents systems (MAS), which is based on agents called Agents Petri Net (APN). That is why, the definitions that treat the internal state of the agent and its behavior are proposed. The suggested mathematical definitions help us to model the interactive systems in a rigorous manner and without any ambiguity. It is through simple examples that our approach is proven to be valid.
Method for Verification of a Multi Agents System
International Conference on Intelligent Systems, Modelling and Simulation, 2011
In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS... more In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). We explain and applied a new method based on agents called Agents Petri Nets (APN). Our model describes each entity to model the system and verify the state of the agent and its behavior. This method use, mainly, the property of Petri
Journal of Software Engineering and Applications, 2010
In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based... more In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.
Uploads
Papers by borhen marzougui