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

The formal description of distributed supervisory and controlling systems can promote development efficiency and decline cost during the procedure of system design and implementation. The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model with mobility agents considering reactivity for real-time purpose and deliberation for optimal realization and other special problems for critical systems like intelligent transportation systems by a Petri nets based formal modeling language. By using nets within nets, a special high-level Petri nets, we investigate the concurrency of the system and the agent behaviors in one model without losing the needed abstraction. The synchronous channels are introduced to denote the communication and coordination among agents. Finally an example is given to illustrate that the formal method is feasible and valid