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