An identification method for PLC-based automated Discrete Event Systems

摘要

This paper deals with identification of automated Discrete Event Systems (DES). A method for processing sequences of input/output signals from PLC-based controlled DES is proposed; it yields an interpreted Petri net model describing the closed-loop behavior of the automated DES. This new method extends a previously presented approach by taking into account the technological characteristics of industrial controllers and the data collection requirements. Based on polynomial-time algorithms, the method is implemented as an efficient software tool; its use is illustrated through a case study dealing with an automated manufacturing system.