Zur Modellierung synchron getakteter Hardware mit zeitbewerteten Petri-Netzen

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.