Deciding detectability for labeled Petri nets

Masopust, T; Yin, X

Yin, X (reprint author), Shanghai Jiao Tong Univ, Dept Automat, Shanghai 200240, Peoples R China.

AUTOMATICA, 2019; 104 (): 238

Abstract

Detectability of discrete event systems is a property to decide whether the current and subsequent states can be determined based on observations. We ......

Full Text Link