Critical Observability of Petri Nets with Unknown Initial Marking

Critical observability corresponds to an important property of the safety-critical applications of cyber-physical systems. This work formalizes and handles the problem of critical observability for labeled Petri nets with unknown initial marking. In this system setting, part (none) of the places are observable at the initial marking, i.e, the initial marking is uncertain. A sufficient condition is presented as a main result for checking the critical observability for such a kind of net system. For this purpose, we define and solve some integer linear programming problems. Furthermore, some experiments are implemented and show the validity of the presented method.