Cunf
Résumé
The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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