On the Petri Net Realization of Context-Free Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1999

On the Petri Net Realization of Context-Free Graphs

Philippe Darondeau
  • Fonction : Auteur
  • PersonId : 833450

Résumé

Given a finite or infinite labeled transition graph defined by a graph grammar, we show an algorithm that decides whether this graph is isomorphic to the reachable state graph of some finite unlabeled Petri net and that produces in this case a minimal net realizing the graph.
Fichier principal
Vignette du fichier
RR-3674.pdf (440.84 Ko) Télécharger le fichier

Dates et versions

inria-00072999 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072999 , version 1

Citer

Philippe Darondeau. On the Petri Net Realization of Context-Free Graphs. [Research Report] RR-3674, INRIA. 1999. ⟨inria-00072999⟩
46 Consultations
169 Téléchargements

Partager

Gmail Facebook X LinkedIn More