A Petri Net Interpretation of Open Reconfigurable Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

A Petri Net Interpretation of Open Reconfigurable Systems

(1) , (2) , (3)
1
2
3

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
424 View
333 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More