Workcraft - unfoldingtools http://workcraft.org/ 2026-05-22T23:52:53+00:00 Workcraft http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2022-08-17T16:35:49+00:00 Anonymous (anonymous@undisclosed.example.com) start http://workcraft.org/unfoldingtools/start?rev=1660754149&do=diff 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: