Scholarly Works

Modelling Mobility in High-level Petri Nets

Modelling Mobility in High-level Petri Nets

Abstract

We propose a structural translation of terms from a variant of the Klaim process algebra which includes arbitrary tuples of data values as well as conditionals into behaviourally equivalent high-level Petri nets. This defines a semantics for mobility allowing one to deal directly with concurrency and causality.

Authors

Devillers R; Klaudel H; Koutny M

Pagination

pp. 110-119

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Publication Date

July 1, 2007

DOI

10.1109/acsd.2007.55

Name of conference

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

Conference proceedings

2013 13th International Conference on Application of Concurrency to System Design

ISSN

1550-4808

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)

Contact the Experts team

Get technical help

or

Provide website feedback