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

摘要：

任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限.本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法一基本Petri网理论.并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处.随后介绍以Petri网理论为基础的仿真软件-ExSpeet的发展、组成及其语言特点.最后,列举当前已成功应用的五个仿真实例来验证Exspeet仿真软件在任务可靠性仿真方面的适用性.

关键词：任务可靠性、仿真、Petri网、ExSpect

所属期刊栏目：26

分类号：TP391(计算技术、计算机技术)

在线出版日期：2014-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3,8