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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Parallel LTL-X model checking of high-level Petri nets based on unfoldings. Zbl 1103.68637Schröter, Claus; Khomenko, Victor 2004 all top 5 Cited by 20 Authors 3 Rodríguez, César Marín 3 Schwoon, Stefan 2 Baldan, Paolo 1 Bruni, Alessandro 1 Chatain, Thomas 1 Corradini, Andrea 1 Edwards, Doug 1 Esparza, Javier 1 Heljanko, Keijo 1 Khomenko, Victor 1 Klaudel, Hanna 1 Kleijn, Jetty 1 König, Barbara 1 Koutny, Maciej 1 Paulevé, Loïc 1 Pommereau, Franck 1 Rakow, Astrid 1 Ren, Hong-Guang 1 Schröter, Claus 1 Wang, Zhiying Cited in 4 Serials 1 Acta Informatica 1 Theoretical Computer Science 1 Journal of Computer Science and Technology 1 Monographs in Theoretical Computer Science. An EATCS Series Cited in 2 Fields 10 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year