Petri网理论在指挥自动化系统建模上的应用

在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统 ,给出了相应实例     

指挥自动化系统工程设计初探

本文介绍了指挥自动化系统的系统组成、构成要素。分析了指挥自动化系统工程设计的特点、需注意的问题以及工程设计的流程、内容。结合我军指挥自动化系统的应用现状，指出指挥自动化系统工程设计对新军事变革的重大意义。     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法－Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析，然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

面向对象Petri网建模技术与应用

面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点.     

指挥自动化系统与现代战争

指挥自动化系统是信息化战争中实施指挥控制的有效手段。现在风靡西方的战区导弹防御系统(TMD)、国家导弹防御系统(NMD)和巡航导弹防御系统(CMD),其核心部分都是指挥自动化系统。指挥自动化系统最初是C~3I,后来逐步发展到C~4I、C~4ISR(S、R是监视和侦察),这是一种综合电子信息系统。     

有色Petri网的C^3I系统建模中的应用

Ｃ＾３Ｉ系统对现代化战争的支持越来越大，许多发达国家均投入大量人力和物力来提高Ｃ＾３Ｉ系统的性能，但是系统多维性和复杂性使得系统的建模一直是一个难点，至今还没有较好的系统化的模型产生，本文讨论了一种基于有色Ｐｅｔｒｉ网的模型的建立方法，克服了以往用普通Ｐｅｔｒｉ网建模的一些缺点。     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

基于OPN的C^4ISR系统的子网划分及建模过程

如何实现模块化可继承的建模,一直是C^4ISR系统的建模及分析的难点之一.基于时间对象Petri网的建模,层次分明可视界面较强,各对象间层次关系明确,是实现C4ISR系统建模工作的基础.本文提出一种基于OTPN的C^4ISR系统的子网划分规则,该规则的特点是以C^4ISR系统的实际情况出发,对C^4ISR系统的实际建模有较强的参考价值.     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于Petri网的iSCSI协议分析与建模

通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。     

基于对象Petri网的雷达组网系统建模仿真研究

建立了复杂环境下雷达网的OPDL模型，并以雷达网分布式目标检测分析为背景，运用所建立的雷达网OPDL模型进行了仿真实验。研究表明，基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。     

Petri风理论及其在自动制造系统中的应用

文中详细综述了Ｐｅｔｒｉ网理论的发展、应用领域、基本定义以及分析方法和建模方法。重点介绍了Ｐｅｔｒｉ网在自动制造系统控制听应用、发展方向，指出了Ｐｅｔｒｉ网在自动制造系统中的应用前景和作者的看法。     

陆军指挥控制信息系统总体设计

针对陆军指挥控制信息系统的目标和需求,及其在现代战争中地位的变化,适应多级指挥所多席位分布作战环境的应用需要,从作战体系结构和系统体系结构两个方面对陆军指挥控制系统的体系结构进行描述,并且对该系统实现的总体功能、作战信息流程、工作模式和系统应用集成等方面进行设计。为陆军C4ISR系统的设计提供参考。     

C4ISR系统可靠性评价方法与技术研究

分析了国内外C^4ISR系统可靠性研究现状以及可靠性评价的研究方向，初步建立了评价的指标体系，并对相关方法与技术进行了归纳总结。针对评价不同的指标可能采用不同的方法与技术组合的现实，进行了基于逻辑框图的C^2分系统任务可靠度评价研究，然后引入时延这一反映C^4ISR系统可靠性的性能指标，并通过建立对象Petri网模型对时延的定量评价进行了研究。评价实例初步体现了方法的可行性。     

基于扩展Petri网的雷达组网系统的建模与分析

利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。     

Petri网理论及其在自动制造系统中的应用

文中详细综述了Ｐｅｔｒｉ网理论的发展、应用领域、基本定义以及分析方法和建模方法。重点介绍了Ｐｅｔｒｉ网在自动制造系统控制中的应用、发展方向，指出了Ｐｅｔｒｉ网在自动制造系统中的应用前景和作者的看法     

指挥自动化系统的开发

简要介绍并讨论了 C3I系统的概念、原型及有关开发方法     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。