IEEE - Institute of Electrical and Electronics Engineers, Inc. - Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938]

Author(s): Xiang Yin ; Stephane Lafortune
Sponsor(s): IEEE Control Systems Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2019
Volume: 64
Page(s): 1,768
ISSN (CD): 2334-3303
ISSN (Electronic): 1558-2523
ISSN (Paper): 0018-9286
DOI: 10.1109/TAC.2019.2897511
Regular:

This note aims to correct a complexity result in our paper that investigates the verification of diagnosability for unbounded Petri nets. The main result of [1] is Theorem IV.1, which shows that... View More

Advertisement