<  Retour au portail Polytechnique Montréal

Model checking of time Petri nets

R. Hadjdj et Hanifa Boucheneb

Chapitre de livre (2008)

Un lien externe est disponible pour ce document
Dé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: 05 avr. 2024 11:04
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

Actions réservées au personnel

Afficher document Afficher document