Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers

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]

Abstract

Abstract is missing.