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 12 July 2021) here:

Copyright © 2014-2021