En la actualidad la teoría binodal ha sido poco utilizada para el modelado de automatismos industriales, debido a la poca divulgación científica. No obstante, esta eficaz herramienta de diseño de automatismos industriales solo se ha enfocado en tecnologías basadas en lógica cableada. La teoría binodal puede tener un uso importante en el modelado de automatismos lógicos secuenciales programados, especialmente PLC’s. El único inconveniente que se le atribuye, es su alta complejidad de análisis de sistemas a medida que el número de variables se incrementa. Sin embargo, ofrece la ventaja de obtener ecuaciones lógicas compatibles y muy reducidas. Es por ello, que en numerosas situaciones sea más efectiva utilizar esta teoría de diseño frente a otras más comunes tales como Grafcet, Redes de Petri, etc. Es por eso que el interés del presente trabajo radica en la aplicación d...