Modular construction of finite and complete prefixes of Petri net unfoldings

Agnes Madalinski 1 Eric Fabre 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri nets. It is well know that the unfolding of such a distributed system factorises, in the sense that it can be expressed as the composition of unfoldings of its components. This factorised form of the unfolding provides a more compact representation of the system trajectories, and makes it possible to analyse the system by parts. The paper focuses on the derivation of a finite and complete prefix (FCP) in the unfolding of a distributed system. Specifically, one would like to directly obtain such a FCP in factorised form, without computing first a FCP of the global distributed system and then factorising it. The construction of such a ``modular prefix'' is based on deriving summaries of component behaviours w.r.t. their interfaces, that are communicated to the neighbouring components. The latter integrate them to their local behaviours, and prepare interface summaries for the next components. This globally takes the form of a message passing algorithm, where the global system is never considered.
Type de document :
Rapport
[Research Report] RR-6412, INRIA. 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00204548
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 15 janvier 2008 - 13:01:18
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 16:27:52

Fichiers

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

Identifiants

  • HAL Id : inria-00204548, version 3

Citation

Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. [Research Report] RR-6412, INRIA. 2007. 〈inria-00204548v3〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

156