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

• 作者: 彭建兵 焦莉
• 来源期刊: 计算机应用研究
• 关键词: Petri网 可达性 极小T-不变量 极小T-不变量关系图 扩展极小T-不变量关系图 借矩阵 扩展借矩阵
• 年，卷（期）: 2010,（10）
• 页码范围: 3798-3802
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.10.051

摘要

基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性.该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	焦莉	中国科学院软件研究所计算机科学国家重点实验室	8	44	4.0	6.0
2	彭建兵	中国科学院软件研究所计算机科学国家重点实验室	1	5	1.0	1.0