Aplicación para control supervisor con redes de Petri y traducción automática a código Ladder para el software RSLogix500TM

Abstract

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.

Keywords

• código ladder
• control supervisor
• redes de petri