MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

Bibliography

Object Nets for Mobility

Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

Abstract: This paper studies mobile agents that act in a distributed name space. The difference between belonging to a name space (where objects can be accessed directly via pointers) and migrating between name spaces (where objects have to be treated as values, that can be copied into network messages) is taken account of by introducing Petri net based formalism, employing the nets-within-nets paradigm.
This formalism, called mobile object nets, generalises the well-established theory of elementary object nets, which has seen many applications over the last decade.
While mobile object nets provide a solution to the specific modelling problem mentioned above, they are much more generic and not restricted to this domain.


BibTeX entry



@InProceedings{Koehler+07a,
  author =  {K{\"o}hler, Michael and Farwer, Berndt},
  title =  {Object Nets for Mobility},
  booktitle = {International Conference on Application and Theory of Petri Nets 2007},
  optcrossref = {ATPN07},
  pages =  {244-262},
  year =  {2007},
  volume =	 {4546},
  editor =	 {Kleijn, J. and Yakovlev, A.},
  series =  LNCS,
  publisher = Springer,
  url = {}, 
  abstract = {  This paper studies mobile agents that act in a distributed name
  space.  The difference between belonging to a name space (where
  objects can be accessed directly via pointers) and migrating between
  name spaces (where objects have to be treated as values, that can be
  copied into network messages) is taken account of by introducing
  Petri net based formalism, employing the nets-within-nets
  paradigm.
  \par
  This formalism, called mobile object nets, generalises the
  well-established theory of elementary object nets,  which has seen
  many applications over the last decade.
  \par
  While mobile object nets provide a solution to the specific
  modelling problem mentioned above, they are much more generic and
  not restricted to this domain.
}
}


Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.