On-Line Identification of Discrete Event Systems by Interpreted Petri Nets

The paper proposes an online identification strategy for discrete event systems (DES). The identifier stores a sequence of events and the corresponding output symbols. Moreover, by solving an integer linear programming problem, an identification procedure synthesizes an interpreted Petri net (IPN) modeling the DES. More precisely, we assume that the fixed numbers of places are given and that a finite sequence of transitions and the corresponding markings are completely or partially known. Moreover, the identification algorithm working in real-time identifies the IPN assuming the DES dynamics deterministic, i.e., the event occurrence from a given state yields only one new state.