Petri网及ExSpect在任务可靠性仿真中的应用  

Application of Petri Net and ExSpect in Mission Reliability Simulation

作　　者：赵兵[1,2] 赵世伟[3] 

机构地区：[1]北京理工大学管理与经济学院,北京100081 [2]军械工程学院装备指挥与管理系,河北石家庄050003 [3]中国民航大学工程技术训练中心,天津300300

出　　处：《微计算机信息》2010年第13期1-3,8,共4页Control & Automation

摘　　要：任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。There are many methods of mission reliability simulation, and some limits exist because of system＇s complexity. In the paper, mission reliability＇s basic concept and basic theory of Petri Net, which is a new method in mission reliability simulation, are first introduced. Advantage and disadvantage of Petri Net theory is detailed analyzed and compared with other simulation methods. Second, simulation software-ExSpect＇s development, each parts and language character are introduced, whose basic theory is Petri Net. Finally, five simulation examples is listed to validated that simulation software ExSpect has applicability in mission reliability simulation.

关 键 词：任务可靠性 仿真 PETRI网 EXSPECT 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]