Required event sequences for identification of Discrete Event Systems

In previous works was addressed the on-line identification problem. This problem consists in compute an Interpreted Petri Net (IPN) model in proportion as new input and/or output sequences of the system are observed. Now in this paper are presented the required transition sequences needed to identify an IPN model that describes the complete behavior of a DES. These transition sequences are important because if from the knowledge of the output signals of the system we can compute these kind of transition sequences, then it will be guaranteed that the complete behavior of the system is captured in the computed model, even not all transition sequences of the system have been detected.