Application for Petri net supervisory control and automatic Ladder code translation for the RSLogicx500TM
No Thumbnail Available
Date
Advisors
Evaluators
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Industrial de Santander
Abstract
Description
Este artículo presenta una aplicación software para el sistema operativo WindowsTM, que permite el diseño formal y sistemático de supervisores de sistemas dinámicos de eventos discretos bajo el formalismo de red de Petri, y la generación automática de código Ladder para el software RSLogix 500TM de Rockwell Automation. La aplicación permite diseñar el supervisor mediante el método de restricciones lineales vectoriales generales, y en el caso de la inadmisibilidad de algunas de las restricciones impuestas, el software provee tres métodos para transformarlas en unas admisibles. También provee dos métodos para hallar los sifones y trampas de la RdP supervisada, lo que permite tomar acciones para prevenir el bloqueo del sistema supervisado. Una vez cumplidos los requerimientos de control, la aplicación permite mapear el supervisor de forma automática, a código Ladder mediante el método extendido Token Passing Logic.
This paper presents a software tool running on WindowsR operating system, intended for formal and systematic design of supervisory controllers for discrete event systems described by Petri nets, and the automatic generation of Ladder code for RsLogix 500TM software. The software is based on general linear vector constraints, and in case of the inadmissibility of some of the imposed constraints, the software has three methods to transform them in admissible ones. The software has also two methods to find siphons and traps on the supervised PN, which is useful to prevent the dead lock of the supervised system. Once the supervisor fulfills the control requirements, the tool can transfer the supervisor, automatically, to Ladder code by the Token Passing Logic extended method.
This paper presents a software tool running on WindowsR operating system, intended for formal and systematic design of supervisory controllers for discrete event systems described by Petri nets, and the automatic generation of Ladder code for RsLogix 500TM software. The software is based on general linear vector constraints, and in case of the inadmissibility of some of the imposed constraints, the software has three methods to transform them in admissible ones. The software has also two methods to find siphons and traps on the supervised PN, which is useful to prevent the dead lock of the supervised system. Once the supervisor fulfills the control requirements, the tool can transfer the supervisor, automatically, to Ladder code by the Token Passing Logic extended method.
Keywords
Petri Nets, Supervisory Control, Ladder Code, ladder code, petri nets, supervisory control, código ladder, control supervisor, redes de petri