Hanifa Boucheneb, G. Berthelot
Communication écrite (2002)
Accéder à ce document
Disponible
Libre accès au texte intégral dans PolyPublie et chez l'éditeur officiel
Libre accès au texte intégral dans PolyPublie et chez l'éditeur officiel
Texte
Résumé
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]
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
Lieu de la conférence:
Grenoble, France
Date(s) de la conférence:
2002-04-06 - 2002-04-07
Titre de la revue
:
Electronic Notes in Theoretical Computer Science
(
vol.
65
,
no
6
)
Maison d'édition:
Elsevier
URL officielle:
OAI:
oai:publications.polymtl.ca:4802
ORCID
Date du dépôt:
12 mai 2021 11:32
Dernière modification:
14 oct. 2026 10:43
Citer en APA 7:
Boucheneb, H., & Berthelot, G. (avril 2002). Contraction of the ITCPN state space [Communication écrite]. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. Publié dans Electronic Notes in Theoretical Computer Science, 65(6). https://doi.org/10.1016/s1571-0661%2804%2980466-3
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements
Dimensions
