chrb@gentoo.org Chris Bainbridge Synthesize Petri nets into asynchronous circuits