Modular Automata 2 Distributed Petri Nets 4 Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Modular Automata 2 Distributed Petri Nets 4 Synthesis


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.
Fichier principal
Vignette du fichier
RR-6192.pdf (201.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00148133 , version 1 (21-05-2007)
inria-00148133 , version 2 (22-05-2007)


  • 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⟩
181 View
54 Download


Gmail Facebook Twitter LinkedIn More