Hanifa Boucheneb
, G. Berthelot
Paper (2004)
 Open Acess document in PolyPublie and at official publisher |
|
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 |
