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öße | Format | |
---|---|---|---|---|
1990AJIEE-7.pdf | 325,48 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.