Christoph Brandau, Nils Potthoff, Dietmar Tutsch, Thomas D. Lepich. Digital Circuit Petri Nets: A new Petri net type to describe and transform digital circuits for product safety engineering. In IEEE 6th International Conference on Consumer Electronics - Berlin, ICCE-Berlin 2016, Berlin, Germany, September 5-7, 2016. pages 263-267, IEEE, 2016. [doi]
Abstract is missing.