par Devillers, Raymond 
;Klaudel, Hanna;Koutny, Maciej
Référence Lecture notes in computer science, 3235, page (309-325)
Publication Publié, 2004
;Klaudel, Hanna;Koutny, MaciejRéférence Lecture notes in computer science, 3235, page (309-325)
Publication Publié, 2004
Article révisé par les pairs
| Résumé : | In this paper we propose a translation into high level Petri nets of a finite fragment of the π-calculus. Our construction renders in a compositional way the control flow aspects present in π-calculus process expressions, by adapting the existing graph-theoretic net composition operators. Those aspects which are related to term rewriting, as well as name binding, are handled through special inscription of places, transitions and arcs, together with a suitable choice of the initial marking for a compositionally derived high level Petri net. © IFIP International Federation for Information Processing 2004. |
