Observer Design for Bounded Output Synchronized Petri Nets

This paper concerns discrete event systems modeled with a particular class of synchronized Petri nets that include output functions, called Output Synchronized Petri nets. Such a formalism is suitable and tractable to represent a large variety of Cyber-Physical Systems. As a preliminary result on Output Synchronized Petri nets, we propose a method to design observers for such systems based on the input control and output signal that circulate between the controller and the plant.