Symbolic Unfoldings for Networks of Timed Automata

Abstract : In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.
Type de document :
Communication dans un congrès
4th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'06), Oct 2006, Beijing, China. Springer, 4218, pp.307--321, 2006
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00363033
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:22:27
Dernière modification le : mercredi 16 mai 2018 - 11:48:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 19:04:55

Fichier

atva-06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00363033, version 1

Citation

Franck Cassez, Thomas Chatain, Claude Jard. Symbolic Unfoldings for Networks of Timed Automata. 4th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'06), Oct 2006, Beijing, China. Springer, 4218, pp.307--321, 2006. 〈inria-00363033〉

Partager

Métriques

Consultations de la notice

339

Téléchargements de fichiers

198