complexity, decidability questions, LTL, Mobile Agents, Mobility, nets-within-nets, object nets2, Petri nets.