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: Jornadas de Ingeniería Eléctrica y Electrónica (FIEE)

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
JIEEV7.djvu118,78 kBUnknownVisualizar/Abrir


Este ítem está protegido por copyright original



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