Ziyue Ma, Yin Xiang, Zhiwu Li. Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. pages 4479-4484, IEEE, 2020. [doi]
@inproceedings{MaXL20-3,
title = {Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers},
author = {Ziyue Ma and Yin Xiang and Zhiwu Li},
year = {2020},
doi = {10.1109/CDC42340.2020.9304261},
url = {https://doi.org/10.1109/CDC42340.2020.9304261},
researchr = {https://researchr.org/publication/MaXL20-3},
cites = {0},
citedby = {0},
pages = {4479-4484},
booktitle = {59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020},
publisher = {IEEE},
isbn = {978-1-7281-7447-1},
}