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

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

用关联矩阵特征值分析Petri网模型结构

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.     

用影响网分析复杂系统关键事件

为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合. 统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度. 该方法避免了影响强度、基准概率等参数由专家指定存在的主观性. 以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值.