Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
From MaRDI portal
Publication:513189
DOI10.1007/s10626-016-0234-5zbMath1356.93055OpenAlexW2562139824MaRDI QIDQ513189
Yannick Pencolé, Houssam-Eddine Gougam, Audine Subias
Publication date: 3 March 2017
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-016-0234-5
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (5)
Diagnosability of fair transition systems ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Diagnosability verification using LTL model checking
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diagnosability of discrete event systems and its applications
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Model Checking Bounded Prioritized Time Petri Nets
- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
- A polynomial algorithm for testing diagnosability of discrete-event systems
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- Diagnosability of discrete-event systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
This page was built for publication: Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
