A Formal Approach for Modeling Software Agents Coordination

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.

International Journal of Intelligent Systems and Applications, 2012

Analysis and proper assessment of multiagent system properties are very much important. In this paper, we discussed about methodologies for modeling, analysis and design of multi-agent oriented system with the help of Petri net. A Multi-agent system can be considered as a discrete-event dynamic system and Petri nets are used as a modeling tool to assess the structural properties of the multi-agent system. Petri net provides an assessment of the interaction properties of the multiagent.

Journal of Software, 2013

This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net). This model allows the specification of various kinds of agent-based systems' behaviors, such as individual and collective behaviors. SyPN is an extension of Recursive Petri net allowing synchronization of several nets. In fact, SyPN borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications, such as: typed places, transitions and tokens, synchronization points, synchronization condition, synchronization relation and binding function. We illustrate our approach by two case studies of remote interactions between agents.

Journal of Software Engineering and Applications, 2010

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.

2011

The Department of Information Science is one of six departments that make up the Division of Commerce at the University of Otago. The department offers courses of study leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in postgraduate programmes leading to the MBA, MCom and PhD degrees. Research projects in software engineering and software development, information engineering and database, artificial intelligence/expert systems, geographic information systems, advanced information systems management and data communications are particularly well supported at present.

International Journal of Advanced Computer Science and Applications, 2013

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.

Abstract:-This paper presents a Petri net approach to modeling communications of mobile software agents in multiagent systems. Mobile agents are conceptualized in Petri net semantics by formalizing in terms of basic agent template. The proposed software agent components constitute the elements and building blocks of the distributed mobile agent systems. A basic agent template is formalized as an entity consisting of a set of actions, a set of rules, which govern the agent communications.

1996

This paper explores the possibility of applying distributed arti cial intelligent systems and multi-agent systems to help in the design of engineering software systems. We de ne an environment consisted basically by arti cial designers that based on their knowledge, help a human designer to obtain the design of the software systems. The software design engineering problem we take as example is the design of the interlocking software for distributed track-vehicle controllers. The design of these modules are based on Petri nets, from which we can derive invariants that are used as the basis to characterize agent's knowledge in our design aid environment.

IOP Conference Series: Materials Science and Engineering

The multi-agent simulation system is presented in the form of a two-level nested Petri net. The semantics of the interaction of agents is described. A GIS-oriented information system has been developed that implements the behavior algorithms of various classes of active agents. The system can be useful both for making decisions on dealing with emergencies and for training operational personnel. An example of a nested Petri network describing the processes of spreading and extinguishing of the wildfire is given.

1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)