Toggle Main Menu Toggle Search

ePrints

A Petri net translation of pi-calculus terms

Lookup NU author(s): Professor Maciej Koutny

Downloads


Abstract

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

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


Share