Unfolding Tools is a suite 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 backends.

Download the current binaries (latest build from 10 Dec 2021) here:

• for Windows (5 MiB)
• for Linux (11 MiB)
• for OS X (12 MiB)

Download the current sources (743 KiB) (external dependencies are not included). They are distributed under the MIT license.