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