Gui-qing Gao

Learn More
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).(More)
  • 1