Text this: Aplikovanie Petriho sietí na návrh asynchrónnych číslicových obvodov :