摘要
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本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.
出处
《微计算机信息》
2010年第13期1-3,8,共4页
Control & Automation
