Diseño formal sobre GHENeSys IEC-1131 compatible de sistemas de eventos dicretos con PLCs

Resumen

Aún cuando se ha demostrado la efectividad del modelado sobre redes de Petri como método formal de diseño de automatizaciones con PLCs, con marcado interés de profesionales tanto de la docencia como la ingeniería, su utilización en soluciones industriales no resulta ampliamente difundido, hecho dado principalmente por la complejidad que en ocasiones implica su aplicación, así como por las limitaciones que todavía existen en la correspondencia modelo-programa en código PLC. El presente trabajo trata sobre el empleo de una metodología de diseño formal, que utiliza la red jerárquica extendida GHENeSys IEC-1131 Compatible, al caso particular de automatizaciones con PLCs de Sistemas de Eventos Discretos. Esta tiene entre sus propósitos contribuir a la solución de las limitaciones antes mencionadas.