Hanifa Boucheneb and G. Berthelot
Conference or Workshop Item - Paper (2004)
|
Published Version Terms of Use: Creative Commons Attribution Non-commercial No Derivatives . Download (361kB) |
Cite this document: | Boucheneb, H. & Berthelot, G. (2002, April). Contraction of the ITCPN state space. Paper presented at Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. doi:10.1016/s1571-0661(04)80466-3 |
---|
Show abstract
Hide abstract
Abstract
We show here how to contract the ITCPN state space. We distinguish three levels of contraction that translate the ITCPN state space into one well timed and coherent timed automation. We consider here only equivalence based on delays. To achieve more contractions, the equivalence based on delays can be completed with equivalence based on colours as shown in [4]
![]() |
|
Subjects: |
2500 Génie électrique et électronique > 2500 Génie électrique et électronique 2700 Technologie de l'information > 2706 Génie logiciel |
---|---|
Department: | Département de génie informatique et génie logiciel |
Research Center: | Non applicable |
Date Deposited: | 12 May 2021 11:32 |
Last Modified: | 18 May 2021 10:15 |
PolyPublie URL: | https://publications.polymtl.ca/4802/ |
![]() |
|
Conference Title: | Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002) |
---|---|
Conference Location: | Grenoble, France |
Conference Date(s): | 2002-04-06 - 2002-04-07 |
Journal Title: | Electronic Notes in Theoretical Computer Science (vol. 65, no. 6) |
Publisher: | Elsevier |
Official URL: | https://doi.org/10.1016/s1571-0661(04)80466-3 |
Statistics
Total downloads
Downloads per month in the last year
Origin of downloads
Dimensions