Syntéza asynchrónnych číslicových obvodov z Petriho sietí - Škríp, Patrik, 1988- (STU v Bratislave FEI, 2013)