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 proc...

Full description

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