Observability analysis of bounded petri net systems via a matrix approach
GAO Na
HAN Xiao-guang
CHEN Zeng-qiang
ZHANG Qing
Abstract：Petri nets and finite automata are two main kinds of research contents in discrete event dynamic systems. The observability analysis and judgement of Petri nets are essential for the design,optimization,monitoring and control of actual systems,but quantitative necessary and sufficient conditions for observability are inexistent during existing re-search literature. This study investigates the observability problem of bounded petri net systems with outputs via a matrix approach.Firstly,several different petri nets with outputs are introduced.Secondly,using semi-tensor product of matrices, the mathematical modeling of dynamical behavior of bounded petri net systems with outputs is established in the form of linear equations. Thirdly,two different observability definitions,either for initial marking or current marking,are in-troduced. Finally,some matrix-form necessary and sufficient conditions for both the initial and current marking are first proposed. The proposed approach realizes the matrix operation for the observability of bounded petri net systems and it can be realized easily by computer.
Keywords：discrete event dynamic systemsobservabilitybounded Petri net systemsPetri netsemi-tensor product of matrices
Publication Date：2018-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：8( 71-78 )