In: ITG-Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June 2000 / Grabowski, Jens; Heymer, Stefan: Proceedings of 10. GI, pages 7-27. Aachen: Shaker Verlag, June 2000.
Abstract: Object Nets belong to a class of Petri nets allowing for a multi-level way of modeling by giving tokens of a Petri net the structure of a Petri net again. The usefulness of this approach has been shown in numerous case studies, ranging from modeling distributed algorithms to workflow and flexible manufacturing systems. It allows for the modeling of real world objects by tokens having their own dynamical behavior. As it is well-known from the field of distributed systems in general, (at least) two different ways of object management are of interest when implementing remote access: either by referencing to a single representation or by creating copies which are treated in a consistent way. In analogy to programming language constructs, this is denoted by reference and value semantics, respectively. In this contribution we discuss applicability to the field of mobile computing and give some additional proofs and results to fundamental questions.