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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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. © 2006 Elsevier B.V. All rights reserved.

Publication metadata

Author(s): Devillers R, Klaudel H, Koutny M

Publication type: Article

Publication status: Published

Journal: Electronic Notes in Theoretical Computer Science

Year: 2006

Volume: 154

Issue: 3

Pages: 71-94

ISSN (print): 1571-0661

ISSN (electronic):

Publisher: Elsevier BV


DOI: 10.1016/j.entcs.2006.05.008

Notes: Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005)


Altmetrics provided by Altmetric