User Tools

Site Tools


Unfolding Tools

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:

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

Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki