IEC 61131-3 Compliant Control Code Generation from Discrete Event Models

Abstract—This paper describes a control logic implemen-tation approach, which is based on discrete event models in form of finite state machines and Petri nets. Such models may be derived during supervisory control synthesis. The approach defines a transformation of the models into an IEC 61131-3 compliant code that can be translated and downloaded into a standard industrial programmable logic controller. This way, the development and implementation phases of industrial automation projects are shortened significantly. A well proven solution libraries may be built by developed and tested models and reused when necessary. I