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 aim of this article is to present the AltaRica 3.0 project.“Traditional” risk modeling
formalisms (eg Fault Trees, Markov Processes, etc.) are well mastered by safety analysts …

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 …

In this paper, we focus on labeled Petri nets with silent transitions that may either correspond
to fault events or to regular unobservable events. We address the problem of deriving a …

In this paper, we propose a novel approach to perform codiagnosability analysis of labeled
bounded Petri nets. A set of sites observe the system evolution, each one with its own …

This article begins with an introduction to the modeling of discrete event systems, a class of
dynamical systems with discrete states and event-driven dynamics. It then focuses on logical …

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 …

In this article, we present an active diagnosis method to enhance diagnosability of a plant
modeled by a finite-state automaton. Some properties of active diagnosis and silent blocking …

We propose in this paper a Petri net approach to online diagnosis of discrete event systems
(DESs) modeled by finite state automata. The diagnosis method is based on the construction …