Options
1995
Conference Paper
Titel
Zur Modellierung synchron getakteter Hardware mit zeitbewerteten Petri-Netzen
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.