-
题名EFSM最小可达图的同步生成算法
- 1
-
-
作者
眭永波
王忠民
郝瑞兵
-
机构
北京科技大学计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第23期80-85,88,共7页
-
基金
贝尔实验室中国基础科学研究院(BLRC)资助
-
文摘
针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变迁的赋值动作与终止状态分组变量值域的关系,在进行可达性分析的同时仅对可达的状态分组进行稳定性判定及必要的分裂,直到所有可达状态分组均稳定为止,EFSM最小可达图即构造完毕。文中算法最大限度地减小了中间结果如不可达分组等对求解过程的影响,从而降低了传统算法因可达性分析与最小化过程相分离而引起的时间与空间上的巨大代价。
-
关键词
扩展有限状态机
最小可达图
可达性分析
efsm
协议测试
变量值域
状态分裂思想
-
Keywords
fsm,efsm,reachable minimal graph,reachability
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名应用Petri网求解事故树最小割集的方法研究
被引量：5
- 2
-
-
作者
崔焕庆
周传爱
-
机构
山东科技大学信息科学与工程学院
青岛滨海学院综合学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第2期580-583,共4页
-
基金
国家863高技术研究发展计划基金项目(2009AA062700)
国家自然科学基金项目(60773034)
+2 种基金
青岛市科技计划基金项目(KZJ-47
2008-2-27
09-1-3-50-jch)
-
文摘
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法。结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性。
-
关键词
事故树
最小割集
PETRI网
可达图
死标识
-
Keywords
fault tree
minimal cut sets
Petri net
reachable marking graph
dead marking
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于极小T-不变量增加的Petri网可达性分析
被引量：6
- 3
-
-
作者
彭建兵
焦莉
-
机构
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第10期3798-3802,共5页
-
文摘
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。
-
关键词
PETRI网
可达性
极小T-不变量
极小T-不变量关系图
扩展极小T-不变量关系图
借矩阵
扩展借矩阵
-
Keywords
Petri net
reachability
minimal T-invariant
relation graph of minimal T-invariants
extended relation graph of minimal T-invariants
borrowing matrix
extended borrowing matrix
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
