Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://bibdigital.epn.edu.ec/handle/15000/9618
Titel: Ambiente para la especificación de sistemas de tiempo real con Redes de Petri
Autor(en): De Giusti, Armando E.
Naiouf, Marcelo
Stichwörter: REDES DE PETRI
Erscheinungsdatum: Jul-1990
Zusammenfassung: 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
Enthalten in den Sammlungen:1990 Anales de las XI Jornadas en Ingeniería Eléctrica y Electrónica (1990 J - FIEE)

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
1990AJIEE-7.pdf325,48 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.