Petrify: a Tool for Manipulating Concurrent Speciications and Synthesis of Asynchronous Controllers


Petrify is a tool for (1) manipulating concurrent speciications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition System (TS) 1 it (1) generates another PN or STG which is simpler than the original description and (2) produces an optimized net-list of an asynchronous… (More)