A Petri Net Interpretation of Open Reconfigurable Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

A Petri Net Interpretation of Open Reconfigurable Systems

Résumé

We present a Petri net interpretation of the pi-graphs - a graphical variant of the pi-calculus. Characterizing labelled transition systems, the translation can be used to reason in Petri net terms about open reconfigurable systems. We demonstrate that the pi-graphs and their translated Petri nets agree at the semantic level. In consequence, existing results on pi-graphs naturally extend to the translated Petri nets, most notably a guarantee of finiteness by construction.
Fichier principal
Vignette du fichier
pigraph-PN-2011-submit.pdf (260.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00628489 , version 1 (03-10-2011)

Identifiants

Citer

Frédéric Peschanski, Hanna Klaudel, Raymond Devillers. A Petri Net Interpretation of Open Reconfigurable Systems. Applications and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. pp.208-227, ⟨10.1007/978-3-642-21834-7_12⟩. ⟨hal-00628489⟩
464 Consultations
398 Téléchargements

Altmetric

Partager

More