chrb@gentoo.org Chris Bainbridge Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify is able to obtain Petri nets with some specific properties: pure, free choice, unique choice, place irredundant, etc... The Petri nets accepted by petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve the Complete State Coding problem and generate a speed-independent circuit.