Text this: Syntéza asynchrónnych číslicových obvodov z Petriho sietí