Model checking of time Petri nets

R. Hadjdj, Hanifa Boucheneb

Chapitre de livre (2008)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9783902613127
Adresse URL de PolyPublie:
Maison d'édition:
I-Tech Publishing
OAI:
oai:publications.polymtl.ca:20711
ORCID
Date du dépôt:
18 avr. 2023 15:15
Dernière modification:
14 oct. 2026 12:52
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