In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri net models gained attention recently. ...

Petri net (PN) as a graphical and mathematical formalism has extensively been used for the modeling, control and analysis of discrete event systems and it has been recognized as flexible modeling technique because it is well suited for modeling the multifarious constraints. This paper focuses on the recent developments in the area of linear algebraic techniques for the PN models for systems. Th...

The paper focuses on supervision approaches in which the supervisor is a Petri net (PN). Special attention is given to the monitorbased approaches. In monitor-based supervision, the set of transitions (events) of a supervisor is a subset of the set of transitions (events) of the plant. The significance of monitor-based approaches to the design of the general PN supervisors is emphasized. The ap...

In order to assist the performance evaluation of complex stochastic models, automatic program tools were developed since a long time. Stochastic Petri Nets (SPN) are applied as an effective model description language supported by several analytical and simulation tools. The analytical description and the numerical analysis of non-Markovian stochastic Petri Net models gained attention recently. ...

Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (pu...

Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear inequalities on the PN markings. When the PN is supervised so that its markings satisfy these inequalities, the supervised net is proved to be deadlockfree for all initial markings that satisfy the supervision constr...

This paper makes three contributions to the area ofmultilevel secure (MLS) work ow management systems (WFMS). First, it proposes a multilevel secure work ow transaction model. This model identi es the task dependencies in a work ow that cannot be enforced in order to meet multilevel security constraints. Second, it shows how Petri nets, a mathematical as well as a graphical tool, can be used to...

In evolutionary computation many different representations (“genomes”) have been suggested as the underlying data structures, upon which the genetic operators act. Among the most prominent examples are the evolution of binary strings, real-valued vectors, permutations, finite automata, and parse trees. In this paper the use of place-transition nets, a low-level Petri net (PN) class [1,2], as th...

The objective of this communication is: • Characterize partial order relations in a scenario – resulting from the structure of the Petri net – resulting from the initial and the final markings (reachability) • Derive an algebraic formulae of the duration of the scenario – how long to go from the initial marking to the final one – a duration is attached to each transition – within the framework ...

The aim of this paper is the study and the design of a maintenance module based on Petri nets (PNs) for manufacturing job-shops with time constraints. In such systems, operation times are included between a minimum and a maximum value. In this context, we propose a new fuzzy Petri net called Fuzzy Petri Net for maintenance (FPNM). This tool is able to analyze monitoring and recovery tasks of a ...