Toggle Main Menu Toggle Search

ePrints

Petri net semantics of the finite pi-calculus

Lookup NU author(s): Professor Maciej Koutny

Downloads


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.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 19

Print publication date: 01/06/2004

Source Publication Date: June 2004

Report Number: 846

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/846.pdf


Share