Petri nets augmented with time are interesting models which can be used for the modelling
and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Petri nets in which random firing delays are associated with transitions whose firing is an
atomic operation are known under the name “stochastic Petri nets”. These models are …

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 timed Petri nets, the transitions fire in “real-time”, ie, there is a (deterministic or random)
firing time associated with each transition, the tokens are removed from input places at the …

The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net
(GSPN) models while preserving the qualitative behavior is identified. Structural results for …

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 …

Abstract Stochastic Petri Nets are a modelling formalism that can be conveniently used for
the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their …

Petri nets in which random delays are associated with atomic transitions are defined in a
comprehensive framework that contains most of the models already proposed in the …

The new class of Well Formed Coloured Nets (WN) is formally defined as an extension of
Regular Nets (RN), together with an extended Symbolic Reachability Graph (SRG) …