Contraction of the ITCPN state space

Communication écrite (2002)

Document en libre accès dans PolyPublie et chez l'éditeur officiel

Affichage préliminaire

Libre accès au plein texte de ce document
Version officielle de l'éditeur
Conditions d'utilisation: Creative Commons: Attribution-Pas d'utilisation commerciale-Pas de modification (CC BY-NC-ND)
Télécharger (230kB)

Afficher le résumé

Cacher le résumé

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]

Sujet(s):	2500 Génie électrique et électronique > 2500 Génie électrique et électronique 2700 Technologie de l'information > 2706 Génie logiciel
Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/4802/
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
DOI:	10.1016/s1571-0661(04)80466-3
URL officielle:	https://doi.org/10.1016/s1571-0661%2804%2980466-3
Date du dépôt:	12 mai 2021 11:32
Dernière modification:	09 avr. 2024 01:12

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

Actions réservées au personnel

Afficher document