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: | 1990 Anales de las XI Jornadas en Ingeniería Eléctrica y Electrónica (1990 J - FIEE) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1990AJIEE-7.pdf | 325,48 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.