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 …

Various models of time Petri Nets have been successfully used to adequately specify time-
critical systems. For such systems correctness depends not only on the actions that are …

Time Petri Nets (TPN) are a well-known formalism for modelling time-dependent systems
with timing constraints. This paper proposes an approach based on a stochastic extension of …

We present two recently developed state space methods for timed Petri nets. The two
methods reconciles state space methods and time concepts based on the introduction of a …

In this paper, we show how to efficiently model check a subset of TCTL properties for the
Time Petri Net model (TPN model), using the state class method. The verification proceeds …

This paper considers the Time Petri Nets (the TPN model) with controllable and
uncontrollable transitions. It proposes a completely forward on-the-fly algorithm for checking …

In this paper, we propose a method for building the state class graph of a bounded time Petri
net (TPN) as a timed automaton (TA). We consider bounded TPN, whose underlying net is …

In this chapter we study Time Petri nets: After the introduction of this kind of time-dependent
Petri net, we will discuss variations of the rules defining the possible state changes. We then …

This work focuses on Real-time system models based on the Time Petri Net (TPN) formalism
and addresses a pathological aspect known to often affect models of Real-Time Systems …

In this paper we study the model of Time Petri Nets (TPNs) where a time interval is
associated with the firing of a transition, but we extend it by considering general intervals …