Petri nets and automatic control: A historical perspective
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 …
(PNs) from a Systems Theory and Automatic Control perspective. It is intentionally not meant …
Quality dimensions in process discovery: The importance of fitness, precision, generalization and simplicity
Process discovery algorithms typically aim at discovering process models from event logs
that best describe the recorded behavior. Often, the quality of a process discovery algorithm …
that best describe the recorded behavior. Often, the quality of a process discovery algorithm …
[KNIHA][B] Petri net synthesis
E Badouel, L Bernardinello, P Darondeau - 2015 - Springer
Eric Badouel · Luca Bernardinello Philippe Darondeau Page 1 Texts in Theoretical Computer
Science An EATCS Series Petri Net Synthesis Eric Badouel · Luca Bernardinello Philippe …
Science An EATCS Series Petri Net Synthesis Eric Badouel · Luca Bernardinello Philippe …
Model-based fault identification of discrete event systems using partially observed Petri nets
G Zhu, Z Li, N Wu - Automatica, 2018 - Elsevier
This paper deals with the problem of fault identification in a system. The system is originally
modeled by a Petri net, called a nominal (fault-free) net, and faults are considered as …
modeled by a Petri net, called a nominal (fault-free) net, and faults are considered as …
On-line fault detection in discrete event systems by Petri nets and integer linear programming
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 …
(PN) framework. Assuming that the structure of the PN model and the initial marking are …
Fault identification of discrete event systems modeled by Petri nets with unobservable transitions
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 …
assuming that the fault-free model of a system is given in terms of Petri nets, where the set of …
Critical observability verification and enforcement of labeled Petri nets by using basis markings
A discrete event system is said to be critically observable if the observer can always
determine whether the current state necessarily belongs to a set of critical states. This article …
determine whether the current state necessarily belongs to a set of critical states. This article …
Design of supervisors for active diagnosis in discrete event systems
Y Hu, Z Ma, Z Li - IEEE Transactions on Automatic Control, 2020 - ieeexplore.ieee.org
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 …
modeled by a finite-state automaton. Some properties of active diagnosis and silent blocking …
Diagnosability enforcement in labeled Petri nets using supervisory control
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 …
a supervisor for a plant such that the closed-loop system is diagnosable. Since control …
Supervisor synthesis using labeled petri nets for forbidden state specifications
This research focuses on the forbidden state problem in the framework of labeled Petri nets
(LPNs), ie, to design a supervisor for a plant modeled by an LPN such that the closed-loop …
(LPNs), ie, to design a supervisor for a plant modeled by an LPN such that the closed-loop …