Petri Net Semantics of the Finite π-calculus Terms

Article type: Research Article

Authors: Devillers, Raymond | Klaudel, Hanna | Koutny, Maciej

Affiliations: Université Libre de Bruxelles B-1050 Bruxelles, Belgium. E-mail: rdevil@ulb.ac.be | Université d'Evry LaMI, 91000 Evry, France. E-mail: klaudel@lami.univ-evry.fr | School of Computing Science University of Newcastle Newcastle upon Tyne NE1 7RU, U.K. E-mail: maciej.koutny@ncl.ac.uk

Abstract: In this paper we propose a translation into high level Petri nets of the terms 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 inscriptions of places, transitions and arcs, together with a suitable choice of the initial marking.

Journal: Fundamenta Informaticae, vol. 70, no. 3, pp. 203-226, 2006