结构活网极小标识的一个求解算法

• 作者: 叶剑虹 宋文 石建
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 结构活 关联矩阵 极小标识 环路 算法
• 年，卷（期）: 2006,（4）
• 页码范围: 783-786
• 页数: 4页
• 分类号: TP301
• 字数: 2910字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2006.04.013

摘要

活性(Liveness)是Petri网的基本性质.从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
2	石建	西华大学数学与计算机学院	3	3	1.0	1.0
3	叶剑虹	电子科技大学计算机科学与工程学院	3	11	2.0	3.0