Abstract TAPAAL 2.0 is a platform-independent modelling, simulation and verification tool for
extended timed-arc Petri nets. The tool supports component-based modelling and offers an …

Partial order reduction for timed systems is a challenging topic due to the dependencies
among events induced by time acting as a global synchronization mechanism. So far, there …

Verification of closed timed models by explicit state-space exploration methods is an
alternative to the wide-spread symbolic techniques based on difference bound matrices …

Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and
several translations to networks of timed automata have been proposed for this model. We …

With motivations coming from Verification, we define a notionof effective WQO for which it is
possible to represent closed subsetsand to compute basic set-operations on these …

We present a framework for TCTL-preserving translations between time-dependent
modeling formalisms. The framework guarantees that once the original and the translated …

Time Basic Petri nets are an expressive extension of Petri nets, suitable to model real-time
systems. This paper introduces a coverability analysis technique to cope with structurally …

Well Quasi-Ordering (WQO) is a notion from order theory that lies between wellorders
(ordinals) and well-founded quasi-orderings: a well-order is WQO, and a WQO is well …

Time-Basic Petri nets, is a powerful formalism for modeling real-time systems where time
constraints are expressed through time functions of marking's time description associated …

Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and
several translations to networks of timed automata have been proposed for this model. We …