Zaslať SMS: Syntéza asynchrónnych číslicových obvodov z Petriho sietí