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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008
Type de document :
Brevet
Patent n° : N/A. v35. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00779948
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:35:35
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : hal-00779948, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

143