基于极小T-不变量增加的Petri网可达性分析

	基于极小T-不变量增加的Petri网可达性分析
其他题名	reachability analysis of petri nets based on minimal t-invariant adding
	彭建兵; 焦莉
	2010
发表期刊	计算机应用研究
ISSN	1001-3695
卷号	27 期号:10 页码:3798-3802
摘要	基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。
关键词	Petri网可达性极小t-不变量极小t-不变量关系图扩展极小t-不变量关系图借矩阵扩展借矩阵petri Net Reachability Minimal T-invariant Relation Graph Of Minimal T-invariants Extended Relation Graph Of Minimal T-invariants Borrowing Matrix Extended Borrowing Matrix
部门归属	中国科学院软件研究所计算机科学国家重点实验室;
学科领域	Computer Science
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/9906
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	彭建兵,焦莉. 基于极小T-不变量增加的Petri网可达性分析[J]. 计算机应用研究,2010,27(10):3798-3802.
APA	彭建兵,&焦莉.(2010).基于极小T-不变量增加的Petri网可达性分析.计算机应用研究,27(10),3798-3802.
MLA	彭建兵,et al."基于极小T-不变量增加的Petri网可达性分析".计算机应用研究 27.10(2010):3798-3802.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
基于极小T不变量增加的Petri网可达性（528KB）			开放获取	--	请求全文