punf
with -r
option to replicate Petri net places sensed by read-arcs and speed up the unfolding.
petrify
with -nosi
option to allow synthesis of non-speed-independent specifications.
-lib tools/petrify.lib
to the petrify
options to enable technology mapping into this library.