3 papers
eess.SY2019
Verification of infinite-step and K-step opacity Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-ste…
eess.SY2019
Verification of Detectability Using Petri Nets and Detector
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and subsequent states. In this paper, to reduce the compl…
eess.SY2019
Verification of C-detectability Using Petri Nets
Hao Lan, Yin Tong, Jin Guo +1
Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we relax…