Distributed Diagnosis of Discrete-Event Systems Using Petri Nets

DOI10.1007/3-540-44919-1_21zbMath1274.68234OpenAlexW1573093426MaRDI QIDQ3550622

Stéphane Lafortune, Sahika Genc

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44919-1_21

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (15)

Diagnosability of discrete event systems with modular structure ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ Decentralized fault free model approach for fault detection and isolation of discrete event systems ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ Diagnosis from scenarios ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ A distributed approach for fault detection and diagnosis based on time Petri nets ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ Diagnosability of repairable faults ⋮ On-line monitoring of large Petri net models under partial observation ⋮ The On-Line Diagnosis of Time Petri Nets ⋮ Diagnosability verification using LTL model checking ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming ⋮ Modular fault diagnosis based on discrete event systems

This page was built for publication: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets