Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets | IEEE Conference Publication | IEEE Xplore