Master's thesis (2005)
 Open Access document in PolyPublie |
|
Open Access to the full text of this document Published Version Terms of Use: All rights reserved Download (6MB) |
Show abstract
Hide abstract
Uncontrolled Keywords
Réseaux de Pétri; Analyse de systèmes -- Modèles mathématiques
| Additional Information: | Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/190964678 |
|---|---|
| Department: | Department of Computer Engineering and Software Engineering |
| Academic/Research Directors: | Hanifa Boucheneb |
| PolyPublie URL: | https://publications.polymtl.ca/7635/ |
| Institution: | École Polytechnique de Montréal |
| Date Deposited: | 04 Aug 2021 11:05 |
| Last Modified: | 30 Sep 2024 23:48 |
| Cite in APA 7: | Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Master's thesis, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7635/ |
|---|---|
Statistics
Total downloads
Downloads per month in the last year
Origin of downloads
Repository Staff Only
|
View Item |
