Normal Forms and Equivalence of K-periodically Routed Graphs

Anthony Coadou 1 Robert De Simone 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We introduce K-periodically Routed Graphs, which are extensions of Marked Graphs with routing nodes, governed by ultimately periodic binary sequences. We study data relations and dependencies, as well as equational transformations of the network topology. We show the existence of expanded normal forms. We prove that some transformations preserve external flow equivalence. Issues arising from internal flow interleavings and permutations are also tackled.
Type de document :
Rapport
[Research Report] RR-7286, INRIA. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00485609
Contributeur : Anthony Coadou <>
Soumis le : mardi 15 juin 2010 - 15:55:22
Dernière modification le : mardi 17 avril 2018 - 11:32:11
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 13:14:57

Fichier

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

Identifiants

  • HAL Id : inria-00485609, version 2

Collections

Citation

Anthony Coadou, Robert De Simone. Normal Forms and Equivalence of K-periodically Routed Graphs. [Research Report] RR-7286, INRIA. 2010. 〈inria-00485609v2〉

Partager

Métriques

Consultations de la notice

295

Téléchargements de fichiers

163