Academic Journals Database
Disseminating quality controlled scientific knowledge

Metodología para el Modelado y Generación de Código de Control de Sistemas Secuenciales mediante Redes de Petri Jerárquicas.

Author(s): German Zapata M. | John W. Branch B. | Luis F. Quintero H.

Journal: Avances en Sistemas e Informática
ISSN 1657-7663

Volume: 4;
Issue: 1;
Start page: 59;
Date: 2007;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Hierarchical Petri Nets | Formal Methods | Programming Languages | Models | Automation | Controllers' Design | Software Engineering

In this work a methodology is presented for the automatic generation of code for programmable logical controllers (PLCs), according to the norm IEC 61131-3. Starting from the model of the automatism built in hierarchical Petri nets nets, the rules are presented to generate the code in language of instructions, to guarantee with it the portability. Definitions are already recaptured outlined in the literature with respect to the formalism of the Petri nets and a contribution is made on the syntax and semantics of this so that it is appropriate for the implementation in PLCs. This methodology allows to take advantage technical of software engineering like the object-oriented programming and the capacities of high level embeddedin the logical controllers, to solve complex problems of industrialautomation via modularization and reusibility of the code.
RPA Switzerland

RPA Switzerland

Robotic process automation


Tango Rapperswil
Tango Rapperswil