PUNF - Petri net unfolder. PUNF builds a finite and complete prefix of a safe Petri net. It can be used both as a separate utility or as a part of the PEP tool. The prefixes generated by PUNF can be passed as an input to the CLP model checker.