Vitalsource Technologies, Inc. Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets