Xuya Cong Maria Pia Fanti Agostino Marcello Mangini Zhiwu Li 0001 Critical Observability of Labeled Time Petri Net Systems. 2063-2074 2023 July 20 IEEE Trans Autom. Sci. Eng. 3 https://doi.org/10.1109/TASE.2022.3193493 db/journals/tase/tase20.html#CongFML23