时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了此增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法．

同步时序电路的增广Petri网分析

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。

基于EOOPN的作战单元任务成功性评估仿真模型

师旅级作战单元是世界各国目前乃至将来应付一般的中小规模冲突的主要作战单位,建立其任务成功性评估模型,计算给定维修保障方案下师旅级作战单元任务成功概率,可以评价现有维修保障方案的保障效果,从而为师旅级作战单元执行任务前维修保障方案的制定和优化提供决策依据。在分析师旅级作战单元任务和构成特点的基础上,本文给出了一种扩展的面向对象Petri网(EOOPN)模型的定义和建模步骤,并利用它建立了师旅级作战单元任务成功性评估模型,最后将该模型应用于某防空旅某次任务想定,从而说明该模型的有效性和实用性。