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 …

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

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 fault detection approach for discrete event systems using Petri
nets. We assume that some of the transitions of the net are unobservable, including all those …

In this paper an approach to on-line diagnosis of discrete event systems based on labeled
Petri nets is presented. The approach is based on the notion of basis markings and …

In this paper, a compact representation of the reachability graph of a Petri net is proposed.
The transition set of a Petri net is partitioned into the subsets of explicit and implicit …

A novel approach to fault diagnosis of discrete event systems is presented in this paper. The
standard approach is based on the offline computation of the set of fault events that may …

The paper addresses the fault detection problem for discrete event systems in a Petri Net
(PN) framework. Assuming that the structure of the PN model and the initial marking are …

This paper deals with the identification problem of faulty behavior in a discrete event system,
assuming that the fault-free model of a system is given in terms of Petri nets, where the set of …

Opacity is a security and privacy property that evaluates whether an external observer
(intruder) can infer a secret of a system by observing its behavior. This paper proposes an …