Toggle Main Menu Toggle Search

Open Access padlockePrints

A Petri net translation of pi-calculus terms

Lookup NU author(s): Professor Maciej KoutnyORCiD



In this paper, we propose a finite structural translation of possibly recursive pi-terms into Petri nets. This is achieved by using high level nets together with an equivalence on markings in order to enter into recursive calls, which do not need to be guarded.

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: 2005

Pages: 19

Print publication date: 01/01/2005

Source Publication Date: January 2005

Report Number: 887

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

Place Published: Newcastle upon Tyne