Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II. Design and implementation
Klaus Feldmann, Armando Walter Colombo, C. Schnur, T. Stockel · IEEE Transactions on Control Systems Technology · 1999
This work aims at designing and implementing logic control structures that allow a combination of the advantages of classical techniques for the development of programmable logic controller code and elimination of disadvantages such as the lack of formal validation. This paper introduces a method to automatically generate code for a programmable logic controller from a validated textual description of this kind of Petri nets. A special compiler that generates code according to the standard IEC 1131 is discussed. The modeling and implementation of a logic control system for flexible assembly cell using the method describe serves as an example.