Using inclusion abstraction to construct atomic state class graphs for time Petri nets

Hanifa Boucheneb, R. Hadjidj

Article de revue (2006)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
Adresse URL de PolyPublie:
Titre de la revue :
International Journal of Embedded Systems ( vol. 2 , no 1-2 )
Maison d'édition:
Inderscience Enterprises
OAI:
oai:publications.polymtl.ca:23339
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 12:56
Citer en APA 7:
Boucheneb, H., & Hadjidj, R. (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, 2(1-2), 128-139. https://doi.org/10.1504/ijes.2006.010171

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document