Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I: Specification and design

This work aims at designing and implementing logic control structures that allow a combination of the advantages of classical techniques for the devel opment of programmable logic controller code and elimination of disadvantag es such as the lack of formal validation, Part I of this paper introduces o rdered color Petri nets in combination with some extensions as a modeling t ool for logic controllers. The validation of both the model and the specifi cations of the logic control structures is then pursued through a structura l analysis of the net. Part Il will introduce a method to automatically gen erate code for a programmable logic controller from a validated textual des cription of this kind of Petri nets. A special compiler that generates code according to the standard IEC 1131 is discussed. The modeling and implemen tation of a logic control system of a sector of a flexible assembly cell se rves as an example, applying the methods introduced in Part I and Part II.