<  Retour au portail Polytechnique Montréal

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

Hanifa Boucheneb et R. Hadjidj

Article de revue (2006)

Un lien externe est disponible pour ce document
Renseignements supplémentaires: Nom historique du département: Département de génie informatique
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/23339/
Titre de la revue: International Journal of Embedded Systems (vol. 2, no 1-2)
Maison d'édition: Inderscience Enterprises
DOI: 10.1504/ijes.2006.010171
URL officielle: https://doi.org/10.1504/ijes.2006.010171
Date du dépôt: 18 avr. 2023 15:17
Dernière modification: 25 sept. 2024 16:02
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