Realisierungsformen für den hierarchischen, modularen Entwurf von digitalen Systemen mit gesteuerten Netzen

Die Fortschritte bei der Integration digitaler Schaltungen führen dazu, daß der Entwurfsaufwand zusehends ein limitierender Faktor wird. Die vorliegende Arbeit beschäftigt sich mit einer formalen Entwurfsmethodik, die durch Modularisierung und hierarchische Strukturierung die Entwurfskomplexität reduziert. Dabei werden modifizierte Petri-Netze für die Modellierung oberhalb der logischen Ebene eingesetzt. Anhand zahlreicher Realisierungsformen wird gezeigt, wie die Netze automatisch in digitale Systeme umgesetzt werden können