M. Köhler-Bußmeier and D. Moldt, “Analysis of Mobile Agents using Invariants of Object Nets”, eceasst, vol. 12, Nov. 2009.