着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

基于Ｐｅｔｒｉ网的低轨星座空间覆盖属性分析

针对低轨（low earth orbit, LEO）星座系统的空间覆盖性能,提出应用着色Petri网（colored Petri net, CPN）建模仿真分析星座对目标空间覆盖属性的方法。通过低轨探测星座系统的三层CPN建模和仿真,分析整体星座的逻辑结构特性和多星动态协同事件操作流程及操作事件的因果/并发时序关系,创建了一种LEO探测卫星对任意时间、任意地点和任意弹道的空间目标覆盖属性研究途径,以获得星座对任意来袭目标的最优探测操作流程。     

基于面向对象思想的SoS体系结构设计方法

针对一类由众多组件系统集结而成的系统之系统（system of systems, SoS）以美国国防部体系结构框架（DoDAF）为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用自顶向下、自底向上相结合的方式实现SoS体系结构作战视图产品的面向对象描述。以一个战术导弹防御（tactical missile defense, TMD）系统为例,详细说明SoS体系结构DoDAF作战视图产品的面向对象设计过程,并总结了该方法的两大优越特性：横向通用性与纵向可复用性,以及由此给SoS体系结构带来的“柔性”优势。这是传统设计方法所不能实现的。     

大型Petri网模型最小trap (siphon)集合的快速求解算法

为了快速确定大型Petri网模型中的trap (siphon) 逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap（siphon）集合上的计算速度优势。