User Tools

Site Tools


unfoldingtools:start

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 1 September 2020) here:

Copyright © 2014-2020 workcraft.org