Structuration of large scale Petri nets: an association with higher level formalisms for the design of multi-agent systems (original) (raw)
Related papers
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.
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.
Object-based high-level Petri nets as a formal approach to distributed information systems
1997
In this article we present an Object-Based High-Level Petri Net framework useful to the formal description and speci cation of distributed information systems. The G-CPN tool is based on the same principles of G-Nets Systems and Coloured Petri Nets. In order to allow the automatic analysis of G-CPN Systems, we present informally a mechanism of transformation into standard CP-Nets.
Petri Nets for Systems Engineering
Petri Nets for Systems Engineering, 2003
Petri Nets for Systems Engineering Claude Girault, Rüdiger Valk Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
Petri Nets based Formal Modeling and Verification of Concurrent Systems
2019
The assurance of required quality properties is one of the major challenge in SelfAdaptive Systems (SAS). Self-adaptive systems have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. Research in this field is being held since mid-sixties, and over the last decade the importance of self-adaptivity is being increased. In general a self-adaptive system is much difficult to specify and verify, because of its highly complex internal behavior and especially when time constraints are involved. In the proposed research, Colored Petri Net (CPN) formal language will be used to model self-adaptive multi-agent system. CPN is increasingly used to model self-adaptive complex concurrent systems due to its flexible formal specification and formal verification behavior. CPN is visually more expressive than simple Petri Nets enables diverse modeling approaches and provides a richer framework for such a complex formalism. The specificat...
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
Real-time Systems, 1997
We describe an approach to the specification of concurrent systems which enables a Petri net model of a system to be built up in a systematic way starting from a trace-based CSP specification. This method enables the separate specification of the behavior of each component (process) and their interactions in terms of the feasible sequences of events in which they can be involved. A set of rules is then applied to transform the trace-based specifications into a complete Petri net that is analyzed and/or executed to validate system behavior. The domain transformation procedure is fully automatable. The specification of a safety-critical railway control system is used as a case study.
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.
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.
Multiagent and Grid Systems, 2019
On one hand, Petri nets are widely used as a modeling formalism to assess both structural and behavioral properties of the multi-agent system bacause of their mathematical foundations and the rich underlying analysis tools has developed around them. On the other hand, Maude is a very powerful formal specification language based on rewriting logic that is known as a unifying framework for different types of Petri nets and offers a wide range of analysis techniques. In this paper, we will present a new algorithm allowing the automatic generation of Maude specifications from Petri nets models in order to help designers to effectively obtain the rewriting logic based specification of their multi-agent systems and then facilitate their analysis, pick up time and stay away from human related errors occurred during the manual preparation of such specification.
Properties preservation in distributed execution of petri nets models
IFIP Advances in Information and Communication Technology, 2010
Model-based development for embedded system design has been used to support the increase of system's complexity. Several modeling formalisms are well matched for usage within this area. One of the goals of this work is to contribute to the usage of Petri nets as system specification language within model-based development of embedded systems having MDA proposals as a reference for the development flow. Distributed execution of the Petri net model is achieved through model partitioning into sub-modules. System decomposition is obtained through net splitting operation. Two types of implementation platforms were considered: compliant and non-compliant with zero time delay for communication between modules. Using model-checking techniques, properties associated with the execution of the distributed models in both types of platforms were compared with the execution of the initial (centralized) Petri net model.