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

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.

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.

Towards a multi-agent interactive learning environment oriented to the Petri net domain

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 1998

This paper focus on results related to the design of a model of a Computer-based Interactive Learning Environment oriented to the Petri net domain, named PN-M. This environment adopt a a multi-agent approach based on a view about the domain knowledge structure as de ned in the MATHEMA interactive learning environment. PN-M is focused on problem solving. Hence in this paper we introduce the domain of the problem, that is the design of interlocking Petri models for track vehicle systems.

Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets

2019 International Conference on Robotics and Automation (ICRA), 2019

A robot system is designed as a set of embodied agents. An embodied agent is decomposed into cooperating subsystems. In our previous work activities of subsystems were defined by hierarchical finite state machines. With their states activities were associated. In that approach communication between subsystems was treated as an implementation issue. This paper represents activities of a robot system using hierarchical Petri nets with conditions. Such net is created by specifying consecutive layers: multi-agent robot system layer, agent layer, subsystem layer, behaviour layer and communication layer. This decomposition not only organizes in a systematic manner the development of a robot system, but also introduces a comprehensive description of concurrently acting subsystems. Based on those theoretical considerations, a tool was created for producing hierarchical Petri nets defining the model of a robotic system and enabling automatic generation of the robot controller code, resulting in a significant acceleration of the implementation phase. The capabilities of the tool are presented by the development of a robot controller performing a rudimentary task.

Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach

2000

Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There are researchers who question its utility because it could be a new technology that does provide new skills but it could introduce new problems. Security and performance are the most critical aspects for this new kind of software. In this paper we present a formal approach to analyse performance for this class of systems. Our approach is integrated in the early stages of the software development process. In this way, it is possible to predict the behaviour without the necessity to carry out the complete implementation phase. To show the approach, we model a software retrieval service system in a pragmatic way, later, the corresponding formal model is obtained and analysed in order to study performance.

Formalizing the design of a collaborative system by Petri nets

IEEE International Conference on Systems, Man and Cybernetics, 2002

Collaboration on computer systems is totally different from that in face-to-face environment. Even though scientists are working hard to provide systems that provide virtual environment to make it easy, there are requirements for collaborators to know the basic model and basic working modes of collaborative systems. This paper will concisely introduce OMCS (Object Model for Collaborative Systems) that is a previously-composed collaborative system object model. Then, it discusses the basic components of ordinary collaborative systems. By discussing possible choices for different components of this model, we demonstrate the design of a collaborative system called Multimedia Co-Authoring System (MCAS). In the discussion of MCAS system, Petri nets are used to describe the dynamic properties. By these Petri nets, we can also know the basic working modes of collaboration on such collaborative systems. From this practice, this paper concludes that Petri nets can provide a uniform environment for modeling, formal analysis and design of systems. They can be used to describe and check errors for a system design.

Modeling a Cooperative Environment Based on An Object-Based Modular Petri Net

1997

In this paper we present the modeling by a class of object based Petri net, named G-CPN, of a cooperative editing environment for hierarchical diagrams. First, we define the specification of this editor, and introduce an agent based architecture to support its realization. Also, we introduce the G-CPN model as a formal approach to the modeling of object based systems.