DocumentCode :
3107227
Title :
Modelling Mobility in High-level Petri Nets
Author :
Devillers, Raymond ; Klaudel, Hanna ; Koutny, Maciej
Author_Institution :
Univ. Libre de Bruxelles, Brussels
fYear :
2007
fDate :
10-13 July 2007
Firstpage :
110
Lastpage :
119
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
ISSN :
1550-4808
Print_ISBN :
0-7695-2902-X
Type :
conf
DOI :
10.1109/ACSD.2007.55
Filename :
4276270
Link To Document :
بازگشت