Modelling Mobility in High-level Petri Nets

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.

[1]  Maciej Koutny,et al.  Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[2]  Maciej Koutny,et al.  A Petri Net Semantics of a Simple Process Algebra for Mobility , 2005, EXPRESS.

[3]  Diego Latella,et al.  Formal modeling and quantitative analysis of KLAIM-based mobile systems , 2005, SAC '05.

[4]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[5]  Hanna Klaudel,et al.  M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages , 1998, Acta Informatica.

[6]  Søren Christensen,et al.  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs , 1992 .

[7]  Maciej Koutny,et al.  Petri Net Semantics of the Finite pi-calculus Terms , 2004, Fundam. Informaticae.

[8]  Charles Lakos,et al.  A Petri Net View of Mobility , 2005, FORTE.

[9]  Victor Khomenko,et al.  Model checking based on prefixes of petri net unfoldings , 2003 .

[10]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[11]  Maciej Koutny,et al.  Asynchronous Box Calculus , 2002, Fundam. Informaticae.

[12]  Rocco De Nicola,et al.  Mobile Distributed Programming in X-Klaim , 2005, SFM.

[13]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[14]  Emilio Tuosto,et al.  The Klaim Project: Theory and Practice , 2003, Global Computing.

[15]  Maciej Koutny,et al.  Petri Net Semantics , 2001 .