<  Back to the Polytechnique Montréal portal

Contraction of the ITCPN state space

Hanifa Boucheneb, G. Berthelot

Paper (2004)

Open Acess document in PolyPublie and at official publisher
[img]
Preview
Open Access to the full text of this document
Published Version
Terms of Use: Creative Commons Attribution Non-commercial No Derivatives
Download (230kB)
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 Electrical and electronic engineering > 2500 Electrical and electronic engineering
2700 Information technology > 2706 Software engineering
Department: Department of Computer Engineering and Software Engineering
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
DOI: 10.1016/s1571-0661(04)80466-3
Official URL: https://doi.org/10.1016/s1571-0661(04)80466-3
Date Deposited: 12 May 2021 11:32
Last Modified: 11 Nov 2022 13:26
Cite in APA 7: Boucheneb, H., & Berthelot, G. (2002, April). Contraction of the ITCPN state space [Paper]. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. Published in Electronic Notes in Theoretical Computer Science, 65(6). https://doi.org/10.1016/s1571-0661(04)80466-3

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Dimensions

Repository Staff Only

View Item View Item