Journal article
Petri Net Semantics of the Finite π-calculus Terms
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 …
Authors
Devillers R; Klaudel H; Koutny M
Journal
Fundamenta Informaticae, Vol. 70, No. 3, pp. 203–226
Publisher
SAGE Publications
Publication Date
5 2006
DOI
10.3233/fun-2006-70303
ISSN
0169-2968