Please use this identifier to cite or link to this item: http://bibdigital.epn.edu.ec/handle/15000/9618
Title: Ambiente para la especificación de sistemas de tiempo real con Redes de Petri
Authors: De Giusti, Armando E.
Naiouf, Marcelo
Keywords: REDES DE PETRI
Issue Date: Jul-1990
Abstract: Se presenta un ambiente para la especificación y evaluación de sistemas de tiempo real utilizando Redes de Petri extendidas. Se discuten brevemente diferentes técnicas de especificación de sistemas, y se analizan las ventajas y desventajas del empleo de Redes de Petri extendidas. Posteriormente se expone la concepción de un ambiente interactivo sobre microcomputadora que permite definir y evaluar sistemas utilizando Redes de Petri a fin de controlar la variable tiempo. Asimismo, se detallas el empleo de este ambiente en la especificación y desarrollo de un protocolo de comunicaciones, poniendo énfasis en las facilidades propias del ambiente. Por último se analiza la posibilidad de derivar código ejecutable directamente de la especificación con Petri.
URI: http://bibdigital.epn.edu.ec/handle/15000/9618
Appears in Collections:Jornadas de Ingeniería Eléctrica y Electrónica (FIEE)

Files in This Item:
File Description SizeFormat 
JIEEV7.djvu118,78 kBUnknownView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.