sur 15
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets — Christoph Brandau