Modular Automata 2 Distributed Petri Nets 4 Synthesis

Philippe Darondeau 1 Laure Petrucci 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Modular automata are symbolic transition systems halfway between families of automata and their synchronized products. They allow for analysis of liveness properties without incurring the state space explosion problem. A modular automaton is composed of modules and a synchronization graph. We consider the problem whether such specifications may be implemented by a distributed Petri net up to language equivalence. The challenge is to avoid computing the state space of the modular automaton to be implemented. We show that this is possible, opening the way to the synthesis of nets from modular specifications.
Type de document :
[Research Report] RR-6192, INRIA. 2007
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
Contributeur : Philippe Darondeau <>
Soumis le : mardi 22 mai 2007 - 10:23:28
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : mardi 21 septembre 2010 - 12:48:31


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00148133, version 2


Philippe Darondeau, Laure Petrucci. Modular Automata 2 Distributed Petri Nets 4 Synthesis. [Research Report] RR-6192, INRIA. 2007. 〈inria-00148133v2〉



Consultations de la notice


Téléchargements de fichiers