For the most recent entries see the Petri Nets Newsletter.

Petri Net Semantics of the Finite pi-Calculus.

Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej

In: Proceedings of Formal Techniques for Networked and Distributed Systems -- FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, pages 309-325. Volume 3235 of Lecture Notes in Computer Science / David de Frutos-Escrig, Manuel Nunez (Eds.) --- Springer-Verlag, September 2004.

Abstract: In this paper we propose a translation into high level Petri nets of a finite fragment of the pi-calculus. Our construction renders in a compositional way the control flow aspects present in pi-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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography