ePrints

Petri net semantics of the finite π-calculus terms

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

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.

Publication metadata

Author(s): Devillers R, Klaudel H, Koutny M

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 2006

Volume: 70

Issue: 3

Pages: 203-226

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press

Share