This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

The goal of this paper is to overview the historical development of the field of Petri nets
(PNs) from a Systems Theory and Automatic Control perspective. It is intentionally not meant …

The novel paradigm of collaborative automation, with machines and industrial robots that
synergically share the same workspace with human workers, requires to rethink how …

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 …

In this paper, we investigate the decidability and complexity of the fault diagnosis problem in
unbounded labeled Petri nets. First, we show that checking diagnosability for unbounded …

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 …

Checking the diagnosability of a timed discrete-event system usually consists in determining
whether a single fault event can always be identified with certainty after a finite amount of …

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 …

This paper is about the diagnosability of fault patterns in timed stochastic discrete event
systems. For this purpose, the diagnosability problem is formulated with labeled stochastic …