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 …

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 the context of automated manufacturing systems (AMSs), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

Initial-state estimation is an important problem in discrete-event systems. In this problem, the
initial-state of the system is unknown and one wants to determine the initial-state of the …

In this paper, we present an improved method for the state estimation of a labeled time Petri
net (LTPN) system with unobservable transitions. Precisely, we provide a computationally …

Blockage and deadlock are undesirable in an automated manufacturing system (AMS).
Thus, addressing these issues is essential to ensure smooth production evolution via system …

Given a labeled Petri net, possibly with silent transitions, we are interested in performing
current marking estimation in a probabilistic setting. We assume a known initial marking or a …

It has been an active research area to develop robust supervisory control policies for
production systems with unreliable resources. So far, most methods for robust deadlock …

The aim of this paper is to prevent the risks in several industrial domains. A systematic
monitoring approach is proposed that ensures security and safety by performing a set of the …

Marking estimation is crucial in the area of discrete event systems. This paper proposes
algorithms for addressing the problem of minimum initial markings (MuIMs) estimation in a …