Skip to Main content Skip to Navigation
New interface
Patents

Cunf

César Rodríguez 1 Stefan Schwoon 1 
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008
Document type :
Patents
Complete list of metadata

https://hal.inria.fr/hal-00779948
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Tuesday, January 22, 2013 - 5:35:35 PM
Last modification on : Thursday, January 20, 2022 - 4:13:07 PM

Identifiers

  • HAL Id : hal-00779948, version 1

Citation

César Rodríguez, Stefan Schwoon. Cunf. Patent n° : N/A. v35. 2011. ⟨hal-00779948⟩

Share

Metrics

Record views

80