Agent-oriented Timed Colored Petri Nets modeling method and its application
Zhang Ou-ya, Shun Chen, Gui-qing GAo, Zhen-dong Qi, Yongxiang Li · 2010
In order to validate the time performance of remote controllable cruise missile campaign system, it introduces an Agent-oriented Timed Colored Petri Nets (AOTCPN) modeling method for architecture simulation, and a transform method used to obtain executable AOTCPN model from the static architecture model descript by AUML (Agent Unified Modeling Language). Focusing on the workflow of retargeting cruise missile for emergent target, the whole closed loop operation simulation and delay-time analysis is made via the execution of its AOTCPN model, and the control scheme feasibility is validated.