Chapitre D'ouvrage
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01298300
Soumis le : mardi 5 avril 2016-17:16:03
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01298300 , version 1
Citer
Claude Girault, Jean-François Pradat-Peyre. Analysis of High Level Petri Nets. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.221-266, 2009, 9781848210790. ⟨hal-01298300⟩
Collections
46
Consultations
0
Téléchargements