Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

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

zbMATH Keywords

Petri netsfault diagnosispatterndiagnosability

Mathematics Subject Classification ID

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

• TINA

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