Diagnosis of Petri Nets
From MaRDI portal
Publication:5496932
DOI10.1007/978-1-4471-4276-8_14zbMath1304.93054OpenAlexW195513034MaRDI QIDQ5496932
Carla Seatzu, Maria Paola Cabasino, Alessandro Giua
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
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Cites Work
- Unnamed Item
- Perturbation analysis of multiclass stochastic fluid models
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Modular fault diagnosis based on discrete event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Real time identification of discrete event systems using Petri nets
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Algebraic approaches for fault identification in discrete-event systems
- Marking Estimation of Petri Nets With Silent Transitions
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Diagnosis of Petri Nets
- Stability conditions for multiclass fluid queueing networks
This page was built for publication: Diagnosis of Petri Nets