Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

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 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 …

This paper concerns the prevention of faults in discrete event systems modeled with partially
observed Petri nets (POPNs) that include the definition of sensors used to measure the …

In this article, we deal with the active diagnosis problem in labeled Petri nets by develo**
a supervisor for a plant such that the closed-loop system is diagnosable. Since control …

This paper studies the marking diagnosability verification problem in labeled Petri nets.
Marking diagnosability is a property implying the fact that a plant Petri net has ever reached …

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 …

When discrete-event systems are used to model systems with a large number of possible
(reachable) states, many problems such as simulation, optimization, and control, may …

In this paper, we deal with the problem of enforcing diagnosability to labeled Petri nets (PNs)
appropriately adding new sensors. We show that, solving an integer linear programming …

A commonplace assumption in the fault diagnosis of discrete event systems (DESs) is that of
modeling faulty events with unobservable transitions, ie, transitions whose occurrence does …