期刊文献+

一种分析作战指控并发信息流的Petri网模型 被引量:1

A kind of Petri net model for analyzing the concurrent information flow of battle command and control
下载PDF
导出
摘要 目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。 Aim To waluate and emulate military command and control system. Methods A kind of Petri net model for describing the system was set up, then the key cause of deadlock in concurrent information flow was analysed. Results The reliable basis for the study of potency of the command and control system in theory was provided, deadlock was found and mediated, the system was evaluated and emulated, therefore the application and study of the system was ensured. Conclusion The effect of emulational dry run in troops is good, so it has important value for improving the troops'ability of responding to urgent need and setting up new command and control system.
出处 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第1期33-35,共3页 Journal of Northwest University(Natural Science Edition)
基金 国防预研基金资助项目
关键词 作战指控 PETRI网 并发信息流 系统效能 battle command and control Petri net concurrent information flow potency of system
  • 相关文献

参考文献2

二级参考文献2

共引文献2

同被引文献6

  • 1孙健,陶晓峰.基于Petri网的Web服务BPEL4WS建模与分析[J].计算机工程,2004,30(22):14-16. 被引量:9
  • 2ANDREWS T, CURBERA F, DHDLAKIA H. Business process execution language for Web services [ OL ]. [2007-02-02]. http: //www-106. ibm. com/developeworks/library/ws-bpel/.
  • 3JENSEN K. Coloured Petri nets: A High-level language for system design and analysis [ J ]. Lecture Notes in Computer Science, 1991,483:342-416.
  • 4OUYANG C, BREUTEL S. WofBPEL:A tool for automated analysis of BPEL processes [ J ]. Lecture Notes in Computer Science,2005,3826:484-489.
  • 5OUYANG C,VERBEEK H M W,AALST W M P,et al. Formal Semantics and Analysis of Control Flow in WSBPEL[ R]. BPM Center Report BPM-05-15, 2005.
  • 6刘书雷,唐桂芬,刘云翔,陈荦,景宁.基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法[J].国防科技大学学报,2007,29(1):69-75. 被引量:3

引证文献1

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部