Köhler-Bußmeier, M. and Moldt, D. 2009. Analysis of Mobile Agents using Invariants of Object Nets. Electronic Communications of the EASST. 12, (Nov. 2009). DOI:https://doi.org/10.14279/tuj.eceasst.12.231.