Toggle Main Menu Toggle Search

Open Access padlockePrints

A Petri Net Semantics of a Simple Process Algebra for Mobility

Lookup NU author(s): Professor Maciej KoutnyORCiD



In this paper, we propose a structural translation of terms from a simple variant of the Klaim process algebra into behaviourally equivalent finite high level Petri nets. This yields a formal semantics for mobility allowing one to deal directly with concurrency and causality.

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

Print publication date: 01/06/2005

Source Publication Date: June 2005

Report Number: 912

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

Place Published: Newcastle upon Tyne