Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets