Observer design for discrete event systems modeled by interpreted Petri nets

Presents a method for designing observers of discrete event systems that are modeled with interpreted Petri nets. Definitions for observability and structural observability are introduced in order to deal with the computation of initial marking and current marking respectively. The structure of observers is proposed, then an architecture of a system-observer is defined. Finally, the feedback input to the observer is computed; it leads the observer initial marking to the current system marking