A Petri net scheme for DES state estimation

Abstract

This paper presents new results on state estimation of discrete event systems modeled by interpreted Petri nets. First, the concepts of event detectability and observability are introduced. Then necessary and sufficient conditions for observability of systems described by marked graphs and state machines are presented. Finally, a general scheme for state estimation is proposed. This result is illustrated using an example of a manufacturing system.