Petrify 4.1 (Asynchronous design tool)?

[SUNBELT]

I have downloaded petrify 4.1, but I am not sure how should I use it. Does it only work in linux? and where I should enter the commands like:
draw_astg -nofold -bw pn_syn.g.ps

I have downloaded some tutorial files for it but none of them says how should I use it.
Please give me some detailed instructions

 

[pmat]

Hi there,
yes it is a linux app. If you run the executable, a command
prompt appears where you insert these commands. The
circuit specifications should be in the .stg format, so you
must be familiar with STGs, Petrinets etc. If is something simple
i could assist you further.

Pavlos