The structure theory of Place/Transition net systems is surveyed—incorporating new
contributions—in a tutorial style, mainly from a linear algebraic perspective. Topics included …

Written by a leading researcher this book presents an introduction to Stochastic Petri Nets
covering the modeling power of the proposed SPN model, the stability conditions and the …

In this tutorial paper, the authors discuss the motivations that led to the adoption of Petri nets
for performance evaluation, define the class of Petri nets that is most frequently used for …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

Modern manufacturing systems pose a diversity of problems all along their life cycle which
are often treated with particular independent formalisms and techniques. Petri nets are a …

Stochastic process algebras have been proposed as compositional specification formalisms
for performance models. In this paper, we describe a tool which aims at realising all …

State-based analysis of discrete event systems notoriously suffers from the largeness of
state spaces, which often grow exponentially with the size of the model. Since non-trivial …

Implicit places are a powerful tool inside Petri net theory, used in many design phases of a
system. Firstly used as a reduction rule of Petri nets, now are widely used in quantitative and …

Timed marked graphs, a special class of Petri nets, are extensively used to model and
analyze cyclic manufacturing systems. Weighted marked graphs are convenient to model …

One of the main interests of Petri nets is to combine qualitative analysis (ie the property
verification) and quantitative one (ie performance evaluation)[FLO 78, MOL 81, REI 98a, REI …