Cunf
Résumé
The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008
Brevet
Année : 2011
Stefan Haar : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00779948
Soumis le : mardi 22 janvier 2013-17:35:35
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
Identifiants
- HAL Id : hal-00779948 , version 1
Citer
César Rodríguez, Stefan Schwoon. Cunf. Patent n° : N/A. v35. 2011. ⟨hal-00779948⟩
Collections
82
Consultations
0
Téléchargements