Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

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 …

Carl Adam Petri is a contemporary German mathematician. In the early sixties, he defined a
general purpose mathematical model for describing relations existing between conditions …

In this paper, we consider the diagnosis of asynchronous discrete event systems. We follow
a so-called true concurrency approach, in which no global state and no global time is …

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 …

Both research areas of fault tolerant control (FTC) and hybrid systems (HS) have been
developed separately for several decades, and fruitful results appeared respectively …

Increasing complexity in engineering projects raises difficult challenges in industry and
requires effective tools for correct-by-construction design or design verification. This book …

The diagnosis of discrete event systems is strongly related to events estimation. This paper
focuses on faulty behaviors modeled with ordinary Petri nets with some" fault" transitions …

The supervision based on place invariants (SBPI) is an efficient technique for the
supervisory control of Petri nets. This paper reveals the significance of the SBPI based on a …

Observation structures considered for Petri net generators usually assume that the firing of
transitions may be observed through a static mask and that the marking of some places may …