×

Punf

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; CESAR; MiniSat; Cunf; PEP; KLAIM; Uppaal; PetriNets; Maria; Kronos; LTL2BA; Smodels; POEM; SPIN
Cited in: 10 Publications

Citations by Year