<  Retour au portail Polytechnique Montréal

Interval Timed Coloured Petri Net: Efficient Construction of Its State Class Space Preserving Linear Properties

Hanifa Boucheneb

Article de revue (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/21063/
Titre de la revue: Formal Aspects of Computing (vol. 20, no 2)
Maison d'édition: Springer
DOI: 10.1007/s00165-007-0050-7
URL officielle: https://doi.org/10.1007/s00165-007-0050-7
Date du dépôt: 18 avr. 2023 15:15
Dernière modification: 05 avr. 2024 11:04
Citer en APA 7: Boucheneb, H. (2008). Interval Timed Coloured Petri Net: Efficient Construction of Its State Class Space Preserving Linear Properties. Formal Aspects of Computing, 20(2), 225-238. https://doi.org/10.1007/s00165-007-0050-7

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document