Verification of C-detectability using Petri nets

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu. Verification of C-detectability using Petri nets. Inf. Sci., 528:294-310, 2020. [doi]

Abstract

Abstract is missing.