On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
From MaRDI portal
Publication:4566964
DOI10.1109/TAC.2017.2699278zbMath1390.93539MaRDI QIDQ4566964
Publication date: 27 June 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems, Trajectory detectability of discrete-event systems, Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications, Deciding detectability for labeled Petri nets, On detectability of labeled Petri nets and finite automata, Diagnosability enforcement in labeled Petri nets using supervisory control