Por favor, use este identificador para citar o enlazar este ítem:
http://bibdigital.epn.edu.ec/handle/15000/9618
Título: | Ambiente para la especificación de sistemas de tiempo real con Redes de Petri |
Autor: | De Giusti, Armando E. Naiouf, Marcelo |
Palabras clave: | REDES DE PETRI |
Fecha de publicación: | jul-1990 |
Resumen: | 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 |
Aparece en las colecciones: | 1990 Anales de las XI Jornadas en Ingeniería Eléctrica y Electrónica (1990 J - FIEE) |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
1990AJIEE-7.pdf | 325,48 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.