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