swMATH ID: 4416
Software Authors: Victor Khomenko
Description: 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.
Homepage: http://homepages.cs.ncl.ac.uk/victor.khomenko/tools/tools.html
Related Software: Mole; LTL2BA; Smodels; POEM; SPIN; KLAIM; PEP; Uppaal; PetriNets; Maria; Kronos; CESAR; MiniSat; Cunf
Cited in: 10 Documents

Citations by Year