Ambiente para la especificación de sistemas de tiempo real con Redes de Petri

De Giusti, Armando E.
Naiouf, Marcelo

2007-10-31T13:49:21Z

Descargar documento

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.

PETRI NETS; REDES DE PETRI;