It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

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 …

This paper deals with the enforcement of generalized mutual exclusion constraints (GMECs)
on time Petri nets (TPNs) with uncontrollable transitions by restricting the firing intervals of …

A time Petri net is said to be critically observable at a given time instant if the markings
consistent with any observation at the time instant are included either in the set of critical …

This article investigates the enforcement of generalized mutual exclusion constraints
(GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable …

This research reports a liveness enforcement approach in time Petri nets with the control of
time intervals of controllable transitions. According to the T-invariants of the timeless …

A novel framework is introduced for the supervisory control (SC) of timed discrete event
systems based on Time Petri nets. The method encompasses both logical (markings to …

This paper addresses the verification of strong cur-rent-state opacity with respect to real-time
observations gener-ated from a discrete-event system that is modeled with time labeled Petri …

In this paper, we focus on two notions of diagnosability for labeled Time Petri net (PN)
systems: K-diagnosability implies that any fault occurrence can be detected after at most K …

We propose a model that captures the behavior of real-time recursive systems. To that end,
we introduce dense-timed pushdown automata that extend the classical models of …