Cunf

The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00779948
Author Rodríguez, César, Schwoon, Stefan
Maintainer CCSD
Last Updated May 14, 2026, 23:41 (UTC)
Created May 14, 2026, 23:41 (UTC)
Identifier Patent N°: N/A
Language en
contributor Modeling and Exploitation of Interaction and Concurrency (MEXICO) ; Laboratoire Spécification et Vérification [Cachan] (LSV) ; École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Rodríguez, César
date 2011-01-01T00:00:00
harvest_object_id 16949d01-2100-4897-8e18-b96d007c8ebe
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-26T00:00:00
set_spec type:PATENT