Abstract: En el presente trabajo de titulación se realiza el análisis y uso de herramientas matemáticas de modelado formal como Redes de Petri y UML en un sistema supervisorio para un subsistema de filtración en una planta potabilizadora de agua. Actualmente y debido a los grandes avances en la tecnología industrial y al requerimiento de supervisión de gran cantidad de datos e información de producción, el diseño y modelado de sistemas supervisorios se ve limitado con los típicos métodos de modelado formal. Para el desarrollo de esta investigación se emplean métodos de simulación y análisis de los diferentes subsistemas generados con redes de Petri y diagramas UML, además de valerse en las bases teóricas y bibliográficas de estas herramientas de modelado. Con la obtención de un modelo final para sistemas supervisorios se puede comprobar que ambas herramientas son de mucha utilidad al momento de modelar sistemas de supervisión y que gracias a las redes que se obtuvieron se pudo implementar un prototipo de sistema supervisorio en un módulo HMI Kinco comprobando así el dinamismo de este tomando en cuenta características, funciones y estructuras que condicionan al sistema requerido par a el subproceso de filtración de agua.
Processing Request
No Comments.