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.

Keywords

mobility, process algebra, KLAIM, Petri nets, compositional translation, behavioural consistency