In this paper, we present a procedure for the state estimation and fault diagnosis of a labeled
Time Petri net system. Starting from the State Class Graph defined by Berthomieu and Diaz …

Abstract We consider Time Petri Nets (TPN) for which a firing time interval is associated with
each transition. State space abstractions for TPN preserving various classes of properties …

Purpose Taking into consideration the current human need for agricultural produce such as
rice that requires water for growth, the optimal consumption of this valuable liquid is …

This paper proposes an efficient marking estimation method for a subclass of time labeled
Petri nets (TLPNs), in which each transition is associated with an infinite upper bound delay …

We investigate expressiveness questions for time Petri nets (TPNs) and some of their most
useful extensions. We first introduce generalised time Petri nets (GTPNs) as an abstract …

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 …

Time dependant models have been intensively studied for many reasons, among others
because of their applications in software verification and due to the development of …

This paper is about the design of control sequences for discrete event systems (DESs)
modeled with bounded partially controlled timed Petri nets (PC-TPNs) including a set of …

In this paper, we propose a method for the verification of timed properties for real-time
systems featuring a preemptive scheduling policy: the system, modeled as a scheduling time …

This paper introduces a new diagnostic approach for concurrent discrete event systems
(DES) in automated production plants. The proposed diagnostic procedure is based on Petri …