Köhler-Bußmeier, M.; Moldt, D. Analysis of Mobile Agents Using Invariants of Object Nets. eceasst 2009, 12.