Special Issue on Formal Modeling of Adaptive and Mobile Processes : Analysis of Mobile Agents using Invariants of Object Nets - Michael Köhler-Bußmeier and Daniel Moldt (Electronic communications of the EASST, 2009)