aplicación de las Redes Petri al Control de un ascensor automático

En este trabajo se describen las características básicas de los conceptos teóricos que se necesita entender para lograr el objetivo que consiste en disenar mediante Redes de Petri e implementar usando autómatas programables el sistema de control automático para un ascensor, que es el producto final de nuestro largo y arduo trabajo. Lo primero a realizar fue establecer el comportamiento deseado del ascensor en base a modelos reales, que cumplan requerimientos de seguridad mínimos, una vez hecho esto se procedió a disenar el sistema de control usando las Redes de Petri, la cual fue simulada para verificar que se comportaba de acuerdo a lo que se requería, de no ser así se modificaba el modelo hasta lograr el comportamiento deseado, posteriormente se codificó la Red de Petri en lenguaje para autómatas programables para luego ser probado en el prototipo real terminando los ajustes finales