<  Back to the Polytechnique Montréal portal

Contraction of the ITCPN state space

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


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]

Open Access document in PolyPublie
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/
Document issued by the official publisher
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


Total downloads

Downloads per month in the last year

Origin of downloads


Repository Staff Only