Browse by author
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.
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