a tool for synthesis of Petri Nets
and asynchronous circuits

Copyright © 2019. Universitat Politècnica de Catalunya, Barcelona, Spain.

Each installation kit contains the binary files for petrify, draw_astg and write_sg and their corresponding manual pages. Draw_astg and write_sg use dot, a preprocessor designed at AT&T for drawing directed graphs. Dot can be obtained by downloading the Graph Visualization Package.

The package contains the binaries, a tutorial for beginners and a pdf version of the manual pages. Currently, you can download petrify (version 5.2) for the following platforms:

A set of simple examples to illustrate how petrify works can also be downloaded. A summarized explanation of the input format used by petrify to described Signal Transition Graphs (also valid to describe Petri nets) is also available.