Diagnosis of Petri Nets
DOI10.1007/978-1-4471-4276-8_14zbMATH Open1304.93054OpenAlexW195513034MaRDI QIDQ5496932FDOQ5496932
Authors: Maria Paola Cabasino, Alessandro Giua, C. Seatzu 
Publication date: 29 January 2015
Published in: Lecture Notes in Control and Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4471-4276-8_14
Recommendations
- Diagnosis with Petri net unfoldings
- Diagnosability of Petri nets with observation graphs
- Diagnosis Using Unfoldings of Parametric Time Petri Nets
- scientific article; zbMATH DE number 4201656
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Diagnosis of partially observed Petri net based on analytical redundancy relationships
- Diagnosability Analysis of Labeled Time Petri Net Systems
- Codiagnosability Analysis of Bounded Petri Nets
- Continuous Petri nets: observability and diagnosis
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Algebraic approaches for fault identification in discrete-event systems
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Perturbation analysis of multiclass stochastic fluid models
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Marking Estimation of Petri Nets With Silent Transitions
- Modular fault diagnosis based on discrete event systems
- Real time identification of discrete event systems using Petri nets
- Title not available (Why is that?)
- Stability conditions for multiclass fluid queueing networks
- Diagnosis of Petri Nets
Cited In (16)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets
- Methods and Applications of Artificial Intelligence
- Diagnosis on a sliding window for partially observable Petri nets
- On-line monitoring of large Petri net models under partial observation
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Diagnosis of Petri Nets
- Diagnosis Using Unfoldings of Parametric Time Petri Nets
- Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach
- Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
- The on-line diagnosis of time Petri nets
- Title not available (Why is that?)
- Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net
- Fault diagnosis for discrete event systems modeled by bounded Petri nets
- On-the-fly and incremental technique for fault diagnosis of discrete event systems modeled by labeled Petri nets
- Optimization-based assessment of initial-state opacity in Petri nets
This page was built for publication: Diagnosis of Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496932)
