Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri NetsChristoph BrandauPocketTyskLegg i handlekurvNettlager