［1］Lu Z, Levis A H. A Colored Petri Net Model of Distributed Tactical Decision Making［C］//In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics: 3. Piscataway: IEEE, 1991: 2035-2040.
［2］罗雪山, 张维明. C³I系统理论基础-C³I系统建模方法与技术［M］. 长沙: 国防科技大学出版社, 2000.
［3］Jensen K. Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use［M］. Berlin: Springer-Verlag, 1997.
［4］Jensen K. Colored Petri Nets: a High-level Language for System Design and Analysis［J］. Lecture Notes in Computer Science, 1991(483): 342-416.
［5］Jensen K. An Introduction to the Theoretical Aspects of Colored Petri Nets［J］. Lecture Notes in Computer Science, 1994(803): 230-272.
［6］朱德成, 罗雪山. CPN在海上防空建模中的应用［J］. 火力与指挥控制, 2002, 27(3): 42-45.
Zhu D C, Luo X S. Colored Petri Nets with Its Applications in Modeling Military Command and Control Systems［J］. Fire Control ＆ Command Control, 2002, 27(3): 42-45.
［7］Li Z W, Zhou M C. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems［J］. IEEE Trans on Syst, Man, and Cybern, Part A, 2004, 34(1): 38-51.
［8］李志武, 王安荣, 贾建援. Petri网不变式和状态方程的求解［J］. 西安电子科技大学学报, 2003, 30(2): 259-263.
Li Zhiwu, Wang Anrong, Jia Jianyuan. Methods for Solving Invariants and State Equations for Petri Nets［J］. Journal of Xidian University, 2003, 30(2): 259-263.
［9］王安荣, 段江涛, 李志武, 等. 资源分配系统禁止状态的避免研究［J］. 西安电子科技大学学报, 2005, 32(5): 742-747.
Wang Anrong, Duan Jiangtao, Li Zhiwu, et al. On the Forbidden State Avoidance of Resource Allocation Systems［J］. Journal of Xidian University, 2005, 32(5): 742-747.
［10］杨秀珍, 鞠传文, 蔡芳, 等. 有色Petri网在C³I系统建模中的应用［J］. 电光与控制, 1998, 72(4): 49-53.
Yang Xiuzhen, Ju Chuanwen, Cai Fang, et al. Colored Petri Nets with Its Applications in Modeling C³ System［J］. Electronics Optics & Control, 1998, 72(4): 49-53.
［11］吴永杰, 周玉兰. 海上舰艇编队系统［M］. 北京: 国防工业出版社, 1999.
［12］何文涛, 吴加武. 航母编队特点及对策研究［J］. 现代防御技术, 2004, 32(5): 18-20.
He Wentao, Wu Jiawu. A Study on Antagonizing Aircraft Carrier Battle Groups［J］. Modern Defense Technology, 2004, 32(5): 18-20.