Distributed diagnosis of discrete-event systems using Petri nets

DOI10.1007/3-540-44919-1_21MaRDI QIDQ3550622zbMATH OpenOpenAlexFDO

Authors Sahika Genc, Stéphane Lafortune

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)

Recommendations

• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Fault diagnosis for discrete event systems using partially observed Petri nets
• Fault diagnosis for discrete event systems modeled by bounded Petri nets
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Diagnosis of partially observed Petri net based on analytical redundancy relationships

Cited in

(39)

• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Stochastic DES fault diagnosis with coloured interpreted Petri nets
• Distributed monitoring of concurrent and asynchronous systems
• Diagnosability of repairable faults
• Using place invariants in Petri nets for functional diagnosis
• Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
• Diagnosability verification using LTL model checking
• Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• 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
• Diagnosability of Petri nets with observation graphs
• scientific article; zbMATH DE number 4201656 (Why is no real title available?)
• Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems
• scientific article; zbMATH DE number 5775510 (Why is no real title available?)
• Decentralized fault free model approach for fault detection and isolation of discrete event systems
• scientific article; zbMATH DE number 2150739 (Why is no real title available?)
• Diagnosis from scenarios
• On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
• Discrete-event diagnostic model for a distributed computational system. Independent chains
• Online pattern diagnosis of discrete event systems with Petri net diagnosers
• Diagnosis of partially observed Petri net based on analytical redundancy relationships
• Fault diagnosis for discrete event systems modeled by bounded Petri nets
• Diagnosis and automata
• The on-line diagnosis of time Petri nets
• scientific article; zbMATH DE number 2220094 (Why is no real title available?)
• scientific article; zbMATH DE number 2230909 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
• Distributed diagnosis of discrete-event systems under dynamic event observations
• Diagnosability of fault patterns with labeled stochastic Petri nets
• Qualitative diagnosis of condition systems
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• On-line monitoring of large Petri net models under partial observation
• Modular fault diagnosis based on discrete event systems
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• Diagnosability of discrete event systems with modular structure

This page was built for publication: Distributed diagnosis of discrete-event systems using Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550622)