Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
type: Item
instance of: scholarly article
title: Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
zbMATH Open document ID: 1356.93055
author: Houssam-Eddine Gougam
author: Yannick Pencolé
author: Audine Subias
published in: Discrete Event Dynamic Systems
publication date: 2017-03-03T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 90B25
zbMATH DE Number: 6691737
zbMATH Keywords: fault diagnosis
zbMATH Keywords: diagnosability
zbMATH Keywords: pattern
zbMATH Keywords: Petri nets
describes a project that uses: TINA
MaRDI profile type: Publication
full work available at URL: s10626-016-0234-5
OpenAlex ID: W2562139824
cites work: On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
cites work: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
cites work: Model Checking Bounded Prioritized Time Petri Nets
cites work: Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
cites work: Q5227061
cites work: Diagnosing discrete-event systems: Extending the ``diagnoser approach'' to deal with telecommunication networks
cites work: Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
cites work: A polynomial algorithm for testing diagnosability of discrete-event systems
cites work: Diagnosability of discrete event systems and its applications
cites work: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
cites work: Q4133144
cites work: Diagnosability of discrete-event systems
cites work: Q5311048
cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems
DOI: 10.1007/S10626-016-0234-5
description: scientific article; zbMATH DE number 6691737