Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer

Como proyecto de gado se desarrollaron dos procedimientos para la verificación y validación de redes de Petri basados en la herramienta TINA, desarrollada independientemente por el grupo OLC del LAAS-CNRSI, las cuales fueron integradas en HiLeS Designer, desarrollado por el grupo MIS. El primer procedimiento desarrollado busca verificar las propiedades básicas de la red de Petri extraída por el usuario, en tanto que el segundo procedimiento busca verificar propiedades especificas deseables para una determinada red de control de algún diseño en curso. La implementación fue hecha en Visual Basic 6, haciendo uso del control Active X Addflow2 versión 4.

• Autores: Duarte Vargas, Ramón Hernán
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2004
• Institución: Universidad de los Andes
• Repositorio: Séneca: repositorio Uniandes
• Idioma: spa
• OAI Identifier: oai:repositorio.uniandes.edu.co:1992/22037
• Acceso en línea: http://hdl.handle.net/1992/22037
• Palabra clave: Redes de computadores - Confiabilidad; Análisis de sistemas - Programas para computador; Redes de Petri - Aplicaciones; Visual Basic (Lenguaje de programación de computadores) - Aplicaciones; Ingeniería
• Rights: openAccess
• License: https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf