On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification

The paper proves some properties of a previously proposed identification algorithm that builds on line the Petri net model of discrete event systems (DES). The procedure uses the real time observation of the DES events and the corresponding available output vectors that partially provide the place markings. The paper shows how the considered identification method allows us to define a supervisory controller via monitor places enforcing generalized mutual exclusion constraints. To show the efficiency of the proposed approach, a communication gateway case study is presented.