Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Zur Modellierung synchron getakteter Hardware mit zeitbewerteten Petri-Netzen

 
: VomBögel, G.; Quäck, L.

Schnieder, E. ; TU Braunschweig, Institut für Regelungs- und Automatisierungstechnik:
Entwurf komplexer Automatisierungssysteme '95 : Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel
Braunschweig: E.Schmidt, 1995
ISBN: 3-9803363-3-6
S.183-196
Fachtagung Entwurf Komplexer Automatisierungssysteme <4, 1995, Braunschweig>
Deutsch
Konferenzbeitrag
Fraunhofer IMS ()
Digitalschaltung; Modellieren; Petrinetz; Steuerungstechnik; Systementwurf

Abstract
Im Beitrag wird eine synchron getaktete Hardware-Realisierung eines steuerungstechnisch interpretierten Petri-Netzes vorgestellt und das Schaltverhalten der zeitbehafteten Schaltung durch eine Zeitbewertung des Netzes erfaßt. Das Schaltverhalten spiegelt sich im zeitbewerteten Netz als Schaltstrategie maximaler Schritte wieder, indem nebenläufig schaltbare Transitionen gleichzeitig mit der positiven Taktflanke schalten.

: http://publica.fraunhofer.de/dokumente/PX-24602.html