Mobility induces new challenges for dynamic 
systems, which need a new conceptional treatment: 
systems, that deal for example with mobile agents, 
need extended security concepts to handle the 
risks, induced by foreign, untrusted agents. 
In this work we apply structural analysis 
methods for object nets - namely place 
invariants - to a case study modelling 
mobile agents.