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

This paper describes a control logic implementation 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