Verification of Detectability in Labeled Petri Nets

Yin Tong, Hao Lan, Jin Guo. Verification of Detectability in Labeled Petri Nets. In 2019 American Control Conference, ACC 2019, Philadelphia, PA, USA, July 10-12, 2019. pages 5627-5632, IEEE, 2019. [doi]

Abstract

Abstract is missing.