Title :
Modelling Mobility in High-level Petri Nets
Author :
Devillers, Raymond ; Klaudel, Hanna ; Koutny, Maciej
Author_Institution :
Univ. Libre de Bruxelles, Brussels
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 :
Petri nets; mobile agents; process algebra; high-level Petri nets; network-aware computing; process algebra; structural translation; Algebra; Computer network management; Computer networks; Concurrent computing; Context modeling; Distributed computing; Hydrogen; Kernel; Petri nets; Proposals; KLAIM; Petri nets; behavioural consistency.; compositional translation; mobility; process algebra;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.55