<  Back to the Polytechnique Montréal portal

Verification approach for compositional hierarchical time Petri-nets

Lan Chen

Masters thesis (2005)

Published Version
Terms of Use: All rights reserved.
Download (6MB)
Cite this document: Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7635/
Show abstract Hide abstract


Background and motivation -- Research objectives and processes -- Synopsis -- Preliminary knowledgements -- Basics of Petri nets (PNs) and time petri nets (TPNs) -- Important properties of TPNs -- TPNs analysis summary -- State classes method for analyzing TPNs -- Temporal logics model checking -- Composition classification and comparison -- Introduction of compositional time petri nets -- Elementary conceptions -- Compositional mechanisms classification -- Satisfactions requirements -- Reviews, comparisons and comments -- Summary and remark -- Hierarchical composition time petri nets -- Tool development and implementation -- Design based on graphLab -- JAVA programming modification for hierarchical capabilities editing -- State class graph and preservint LTL properties -- Complex case study in manufacture system -- Hierarchical structure model development design and specification.

Uncontrolled Keywords

Réseaux de Pétri; Analyse de systèmes -- Modèles mathématiques

Open Access document in PolyPublie
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: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/7635/


Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only