Concurrency in mobile object net systems
Michael Köhler, Heiko Rölke · Fundamenta Informaticae · 2003
In this work we present the model of object net -- an algebraic formalisation of the within nets-paradigm. The formalism of object is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of object net 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 nets are monoids style. It is shown, that mobile object net systems are a conservative extension of the Petri net formalism.