Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
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.
Author(s): Devillers R, Klaudel H, Koutny M
Publication type: Report
Publication status: Published
Series Title: Technical Report Series
Type: Technical Report
Year: 2004
Pages: 19
Source Publication Date: 01-06-2004
Report Number: CS-TR-846
Institution: School of Computing Science
Place Published: Unviersity of Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/846.pdf
