A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata

Sandie Balaguer 1, 2, * Thomas Chatain 2, 1 Stefan Haar 2, 1
* Auteur correspondant
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Résumé : Les systèmes temporisés distribués peuvent être modélisés dans différents formalismes comme les réseaux de Petri temporels ou les réseaux d'automates temporisés. Cet article s'intéresse à la traduction d'un réseau de Petri temporel 1-borné vers un réseau d'automates temporisés et considère une équivalence qui tient compte de la distribution des actions. Cette traduction peut s'étendre aux réseaux de Petri temporels bornés. Nous utilisons d'abord les S-invariants pour décomposer le réseau en composants qui donnent directement la structure des automates, puis nous rajoutons des horloges pour retranscrire l'information temporelle. Bien que l'utilisation d'une syntaxe étendue dans les automates temporisés soit nécessaire, ce travail est une approche originale puisque les autres transformations et comparaisons de ces modèles ne considèrent pas la concurrence.
Type de document :
Rapport
[Research Report] RR-7338, INRIA. 2010, pp.22
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00504058
Contributeur : Sandie Balaguer <>
Soumis le : lundi 19 juillet 2010 - 22:03:26
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37
Document(s) archivé(s) le : mardi 23 octobre 2012 - 10:40:58

Fichiers

RR-7338.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00504058, version 1

Collections

Citation

Sandie Balaguer, Thomas Chatain, Stefan Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. [Research Report] RR-7338, INRIA. 2010, pp.22. 〈inria-00504058〉

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

74