Complex systems are often designed and built from smaller pieces, called components.
Components are open sub-systems meant to be combined (or composed) to form other …

We propose an extension of Recursive Petri Nets (TRPNs) based on the semantics of the
Time Petri Nets (TPNs). TRPNs are well suited for analyzing and modeling timing …

This paper introduces compositional time Petri net (CTPN) models. A CTPN is a
modularized time Petri net (TPN), which is composed of components and connectors. The …

In this paper we are interested in sequentialization of formal power series with coefficients in
the semiring (ℝ∪−∞, max,+) (R∪{-∞\},\max,+) which represent the behavior of timed Petri …

We aim at comparing various timed extensions of a fully compositional class of high-level
Petri nets, called M-nets. On one hand, as a classical approach, a class of timed M-nets is …

In the early 60'sa young researcher in Darmstadt looked for a good representation for
communicating systems processes that were mathematically sound and had, at the same …

In the design and analysis of discrete event dynamic systems, the validation of their models
is often addressed via simulation; this allows to analyse both the transient and the steady …

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 …

Petri nets enable a discrete event system of any kind whatsoever to be modeled. They
present two interesting characteristics. Firstly they make it possible to model and visualize …

Petri nets have been widely used for modeling and analyzing concurrent systems. Several
reasons contribute to their success: the simplicity of the model, the immediate graphical …