Chapitre de livre (2008)
Un lien externe est disponible pour ce documentDépartement: | Département de génie informatique et génie logiciel |
---|---|
URL de PolyPublie: | https://publications.polymtl.ca/20711/ |
Maison d'édition: | I-Tech Publishing |
DOI: | 10.5772/5318 |
URL officielle: | https://doi.org/10.5772/5318 |
Date du dépôt: | 18 avr. 2023 15:15 |
Dernière modification: | 25 sept. 2024 15:59 |
Citer en APA 7: | Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . https://doi.org/10.5772/5318 |
---|---|
Statistiques
Dimensions