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 …

The correctness of a time-critical system is closely related to the time of responding and
performing every event. Our motivation example, alternating bit protocol, and application …

A task's end-to-end delay in its execution is a key requirement to real-time systems. This
paper presents a configurable state class method based on time Petri nets for their …

In many distributed environments, multiple processes both interact/collaborate with each
other and share some common resources. To model and analyze such systems, this paper …

The main problem of verification techniques based on exploration of (reachable) state space
is the state explosion problem. In timed models, abstract states reached by different …

Time Petri nets (TPN model) allow the specification of real-time systems involving explicit
timing constraints. The main challenge of the analysis of such systems is to construct, with …

Time Petri nets are a class of extension to Petri nets in which every transition is labelled by a
time interval that decides its firing time. Time Petri nets can represent the time constraints of …

Time Petri Net (TPN) models have been widely used to the specification and verification of
real-time systems. However, the claim that most of these techniques are useful for real-time …

Formal verification methods using Time Petri Net have called the attention of researchers
and practitioners in real-time systems design during the last two decades. Special attention …

This paper provides a true-concurrency approach for the specification and verification of
systems of concurrent communicating agents with durable actions. We present high-level …