Modelling Mobility and Mobile Agents using Nets within Nets Köhler, Michael Rölke, Heiko 2002 - ReposIt - frei zugänglich