[1] 陈海, 胡建旺. 基于Petri网的指挥控制系统仿真[J]. 火力与指挥控制, 2009, 34(6): 65-67. (Chen Hai, Hu Jianwang.Research on the Simulation of Command Control System based on Petri Net[J]. Fire Control &Command Control, 2009, 34(6): 65-67.) [2] 常春树, 张东戈, 周道安. 基于SNA 的指挥控制关系建模与分析[J], 计算机工程与应用, 2008, 44(16): 236-239. (Chang Chunshu, Zhang Dongge.Constructing and analyzing model of SNA- based command and control relationships[J]. Computer Engineering and Applications, 2008, 44(16) : 236-239.) [3] 李泽民, 郝静, 张威, 等. 基于HLA的指挥控制网络模型研究[J]. 计算机仿真, 2009, 26(7): 130-133. (Li Zeming, Hao Jing, Zhang Wei, et al. A Command &ControlNet workModel Based on HLA[J]. Computer Simulation, 2009, 26(7):130-133.) [4] 汪海. 基于复杂网络理论的指挥控制组织分析研究[D]. 长沙: 国防科技大学, 2007. [5] Zeigler B P, Kim T G.Theory of Modeling and Simulation. 2nd ed [M]. New York, NY, USA: Academic Press, 2000: 75-96. [6] 郭斌, 范文慧, 熊光楞. 基于HLA/DEVS的协同仿真高层建模研究[J]. 系统仿真学报,2006, 18(8): 2174-2178. (Guo Bin, Fan Wenhui, Xiong Guangleng.Research of HLA/DEVS-based High Level Modeling for Collaborative Simulation[J]. Journal of System Simulation, 2006, 18(8): 2174-2178.) [7] 陈洪辉, 苏伟,柳海峰. 一种DEVS原子模型向UML状态图映射方法研究[J]. 计算机仿真, 2006, 23(10): 61-64. (Chen Honghui, Su Wei.Technology of Mapping DEVS Atomic Model to UML State Diagrams[J]. Computer Simulation, 2006, 23(10): 61-64.) [8] Hae Sang Song, Tag Gon Kim.The DEVS framework for Discrete Event Systems Control[J]. IEEE(S4886299), 1994: 228-234. [9] Norbert Giambiasi, Jean-Luc Paillet.From timed automata to DEVS models[C]// Proceedings of the 2003 Winter Simulation Conference. USA: WSC, 2003. [10] Hernan P Dacharry, Norbert Giambiasi.Formal Verification with Timed Automata and DEVS Modelsa case study[C]// Proc. of Argentine Symposium on Software Engineering. 2005: 251-265. [11] 郑丽钰. 基于DEVS的石化多层次物流模型建模和仿真研究[D]. 长沙: 国防科技大学, 2008. |