User Tools

Site Tools


unfoldingtools:start

Unfolding Tools

Unfolding Tools - a suit of tools including PUNF, MPSAT, PCOMP and MP2DOT. They provide the verification and synthesis flows based on Petri net unfoldings and are used by Workcraft as back-ends.

Download the latest binaries here: