The Petri net synthesis problem for automatic graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2002

The Petri net synthesis problem for automatic graphs

Résumé

Automatic graphs are possibly infinite graphs with a rational presentation by finite automata; they include grids as a particular case, and Sénizergues has shown in a seminal work that they are an extension of deterministic pushdown graphs. Here, we propose a procedure that decides from the automatic presentation of a graph whether it may be realized isomorphically by the reachable state graph of some finite Petri net, with transitions in bijection with labels of edges. As automatic graphs cover more concurrent systems than pushdown graphs, this procedure improves over, and indeed subsumes, the net synthesis procedure studied earlier for pushdown graphs.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4661.pdf (297.74 Ko) Télécharger le fichier

Dates et versions

inria-00071924 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071924 , version 1

Citer

Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs. [Research Report] RR-4661, INRIA. 2002. ⟨inria-00071924⟩
104 Consultations
92 Téléchargements

Partager

Gmail Facebook X LinkedIn More