SABER UCV >
2) Tesis >
Pregrado >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/123456789/13726

Título : EXTENSIÓN DE CPN TOOLS PARA LA GENERACIÓN DE LENGUAJE DE AUTÓMATAS Y LA REDUCCIÓN DE GRAFOS DE ESTADO A MÁQUINAS DE ESTADO FINITO
Autor : Carrasquel Gámez, Julio César
Palabras clave : Redes de Petri
CPN Tools
Extensiones de CPN Tools
Fecha de publicación : 16-Mar-2016
Citación : Biblioteca Alonso Gamero Facultad de Ciencias;TG-20351
Resumen : Las Redes de Petri Coloreadas son un lenguaje gráfico que permite modelar de una manera formal sistemas concurrentes a eventos discretos. Las Redes de Petri Coloreadas proveen una técnica poderosa de análisis mediante Grafos de Estado. En particular, CPN Tools es una de las herramientas, utilizadas por diversos investigadores y otros proyectos, para la construcción de Redes de Petri Coloreadas y el análisis de sistemas mediante Grafos de Estado. Este trabajo desarrolla, dentro de CPN Tools, un software denominado Java/PROSEGA que se encarga de reducir, a partir de algoritmos ya conocidos, los Grafos de Estado de los modelos CPN a Máquinas de Estado Finito, de manera de proveer un entorno para el análisis de sistemas concurrentes. Además, el software provee funcionalidades para la generación del lenguaje de autómatas, y también permite realizar comparaciones entre autómatas utilizando funciones de diferencia. Adicionalmente, este trabajo contempla un estudio sobre las técnicas formales en las cuales se basa el software Java/PROSEGA, así como también realiza un estudio sobre las herramientas de software utilizadas, para llevar a cabo dichas tareas de reducción de autómatas y generación del lenguaje. Para llevar a cabo las pruebas sobre el software, se utiliza como caso de estudio un trabajo de verificación del protocolo de comunicación IEEE 802.16, específicamente su proceso de gestión de conexiones a nivel de capa MAC. Palabras Clave: Redes de Petri, Redes de Petri Coloreadas, CPN Tools, Access/CPN, Extensiones de CPN Tools, Grafos de Estado, Máquinas de Estado Finito.
Descripción : Tutor: MsC. Ana Verónica Morales Bezeira
URI : http://saber.ucv.ve/jspui/handle/123456789/13726
Aparece en las colecciones: Pregrado

Ficheros en este ítem:

Fichero Descripción Tamaño Formato
TEG JULIO CARRASQUEL - FINAL.pdf5.24 MBAdobe PDFVisualizar/Abrir

Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard - Comentarios