Scholarly Works

A Petri Net Semantics of a Simple Process Algebra...

Journal article

A Petri Net Semantics of a Simple Process Algebra for Mobility

Abstract

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.

Authors

Devillers R; Klaudel H; Koutny M

Journal

Electronic Notes in Theoretical Computer Science, Vol. 154, No. 3, pp. 71–94

Publisher

Elsevier

Publication Date

July 19, 2006

DOI

10.1016/j.entcs.2006.05.008

ISSN

1571-0661

Associated Experts

Maciej Koutny

Adjunct Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

4613 Theory of computation 46 Information and Computing Sciences

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback