Modeling Deliberative Agents Using Object Oriented Petri Nets (original) (raw)

Petri Net: A Tool for Modeling and Analyze Multi-agent Oriented Systems

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.

Using nested Petri nets for modeling multiagent systems

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.

A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

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.

Agents Petri Nets: Theory and Application

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.

Agent modelling with petri nets

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.

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems

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.

An Automatic Petri-net Generator for Modeling Multi-agent Systems (Master thesis)

2012

A multi-agent system can be studied as a concurrent, asynchronous, stochastic and distributed computer system. These characteristics of multi-agent systems make them also a discrete-event dynamic system; it is, therefore, important to analyze the behavior of such system to ensure that it terminates correctly and satisfies other important properties. Several analytical methodologies have been used to study multi-agent system, particularly Petri nets. Petri nets have a well-defined mathematical structure that can be leveraged to provide formal analysis on discrete-event systems. In this work, we propose an automatic transformation to model multi-agent systems using Colored Petri nets.

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems

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.