Concurrency in Mobile Object Net Systems

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 1

Article type: Research Article

Authors: Köhler, Michael | Rölke, Heiko

Affiliations: University of Hamburg, Department of Computer Science, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany

Abstract: In this work we present the model of "mobile object net systems" -- an algebraic formalisation of the "nets within nets"-paradigm. The formalism of "mobile object nets" is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of "mobile object net systems" covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model in the "Petri nets are monoids" style. It is shown, that mobile object net systems are a conservative extension of the Petri net formalism.

Keywords: concurrency, mobility, nets within nets, Petri nets as monoids

Journal: Fundamenta Informaticae, vol. 54, no. 2-3, pp. 221-235, 2003