对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题，传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型，采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力，将变迁引入时间参数，使模型具备对时间的描述和分析能力，并给出不同结构的延时计算方法。仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算，分析方法正确、适用性好，可为远程UUV指挥控制系统评价及完善提供参考和技术支持。
Command and control process of remote UUV has many control nodes and is complicated, modeling and analysis of the process is difficult by using traditional modeling methods. In order to improve the modeling ability, hierarchical modeling method based on Petri net is introduced and in order to depict the time character, timed transition is introduced and the computing algorithm is given, based on which, the command and control process model of remote UUV is constructed based on hierarchical timed Petri net model. The simulation results verify the applicability of the proposed model and the effectiveness of the analysis method. This model can be used to in-depth analysis and research on the command and control process of the remote UUV and can also provide reference for the evaluation and improvement of the command and control system of the remote UUV.
2017,39(4): 106-110,115 收稿日期：2016-10-09
DOI：10.3404/j.issn.1672-7619.2017.04.021
分类号：E925
基金项目：中国博士后基金资助项目（2014M552658）
作者简介：刘海光(1975-),男,博士,讲师,主要从事水中兵器装备保障及作战应用研究。
参考文献：
[1] 卫红春. UML软件建模教程[M]. 高等教育出版社, 北京, 2012.08.
[2] DAVID B, JURGEN D, TORSTEN L. Model driven security:from UML models to access control infrastructures[J]. ACM Trans on Software Engineering and Methodology(TOSEM), 2006, 15(1):39-91.
[3] 付伟. 基于活动网络的工作流模型设计与实现[D]. 天津:天津大学, 2007.
[4] 蔡冽, 李世其. 基于活动网络的生产系统仿真集成模型研究[J]. 计算机应用研究, 2005, 22(12):63-65.
[5] MENDING J, NEUMAN G. Towards workflow pattern support of eent-driven process chains[J]. Proc of Workshop Xm14bpm, 2005:23-38
[6] 于晓浩, 刘俊先, 陈涛, 等. 事件驱动过程链在军事信息系统建模中的应用[J]. 火力与指挥控制2011, 36(07):21-24.
[7] 张耀鸿, 樊建才, 廖晓林. 基于Petri网的指挥控制流程仿真方法[J]. 系统仿真学报, 2012, 24(7):1418-1421.
[8] 朱敏洁, 张伟. 作战指挥工作流程的建模与仿真[J]. 火力与指挥控制, 2008, 33(12):45-48.
[9] 杨志华, 刘顺利, 刘己斌. 基于Peter网的防空兵群指挥信息结构建模分析[J]. 兵工自动化, 2012, 31(4):39-42.
[10] HAO K, DING J. Hierarchical petri nets[J]. Journal of Frontiers of Computer Science & Technology, 2008, 5(91):281-290.
[11] DAI X, LI J, MENG Z. Hierarchical petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems[J]. International Journal of Computer Integrated Manufacturing, 2009, 22(2):158-177.
[12] ZUBEREK W M. Invariant-based performance analysis of timed petri net models[M]. Dependability Engineering and Complex Systems. 2016.
[13] TOYOSHIMA I, NAKANO S, YAMAGUCHI S. Reduction operators based on behavioral inheritance for timed petri nets[J]. Ieice Transactions on Fundamentals of Electronics Communications & Computer Sciences, 2014, E97. A(2):484-489.
[14] 陶继平, 徐文艳, 杨根科, 等. 基于Stateflow的Petri网仿真方法[J]. 计算机仿真, 2006, 23(12):96-99.
[15] L V Feng-yu. Research and application of stateflow modeling method based on petri nets[J]. Measurement & Control Technology, 2014.
