Modelling Mobility in High-level Petri Nets

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Raymond Devillers Articles by Hanna Klaudel Articles by Maciej Koutny

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

Bratislava, Slovak Republic

July 10-July 13

ISBN: 0-7695-2902-X

	ASCII Text	x
	Raymond Devillers, Hanna Klaudel, Maciej Koutny, "Modelling Mobility in High-level Petri Nets," Application of Concurrency to System Design, International Conference on, pp. 110-119, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.

	BibTex	x
	@article{ 10.1109/ACSD.2007.55, author = {Raymond Devillers and Hanna Klaudel and Maciej Koutny}, title = {Modelling Mobility in High-level Petri Nets}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2007}, issn = {1550-4808}, pages = {110-119}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.55}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Modelling Mobility in High-level Petri Nets SN - 1550-4808 SP110 EP119 A1 - Raymond Devillers, A1 - Hanna Klaudel, A1 - Maciej Koutny, PY - 2007 KW - mobility KW - process algebra KW - KLAIM KW - Petri nets KW - compositional translation KW - behavioural consistency. VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Raymond Devillers, Universite Libre de Bruxelles, Belgium

Hanna Klaudel, Universite d'Evry, France

Maciej Koutny, University of Newcastle, United Kingdom

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.55

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.

Index Terms:

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

Citation:

Raymond Devillers, Hanna Klaudel, Maciej Koutny, "Modelling Mobility in High-level Petri Nets," acsd, pp.110-119, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.