Modelado de sistemas supervisores distribuidos y abiertos usando redes de Petri y orientación a Objetos

El modelado de sistemas supervisores para ambientes automatizados puede ser visto como una tarea que involucra técnicas y métodos de dos áreas principales: ingeniería de control e ingeniería de software. En este contexto, el propósito de este trabajo es introducir un nuevo abordaje para el modelado de sistemas supervisores distribuidos y abiertos, basado en la unión de técnicas tradicionales de ingeniería de software (como la orientación a objetos) y con modelos formales de los sistemas dinámicos a eventos discretos (como las redes de Petri). En el primer nivel de abstracción, es usado el modelo de referencia de procesamiento distribuido y abierto (RM-ODP) como marco atquitectural estándar pata la construcción de un sistema distribuido y abierto. Basado en el modelo de referencia ODP, los diagramas en el lenguaje de modelado unificado UML son construidos como un segundo nivel de abstracción. Finalmente, las redes de Petri (el tercer nivel de abstracción) son usadas a través del proceso con la finalidad de garantizar la coherencia entre los modelos en UML desde el análisis de requerimientos hasta la implementación de manera a proveer modelos formales del sistema

Modelamiento con GHENeSys IEC 1131 Compatible

El presente artículo trata un acercamiento reciente de modelado sobre redes de Petti (PN) como método formal de diseño, verificación, validación e implementación de programas de PLCs. En éste se define la red jerárquica extendida GHENEeSys IEC 1131 Compatible y se detalla una metodología que comprendeesta ted como formalismo a emplear. Ésta red persigue adaptarse a las particularidades de los PLCs como dispositivos de automatización y control, así como ganar en simplicidad, generalidad y facilidades de aplicación al aprovechar las potencialidades que brinda y que están dadas en su capacidad de obtener modelos jerárquicos, sus posibilidades de representación, su carácter general, los métodos de análisis que permite aplicar y la fácil traducción del modelo obtenido a un programa resultante IEC 1131 compatible a través de simples reglas de analogías