S3PR网的可达标识集算法

• 作者: 张秀艳 贾建援 钟春富
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 严格极小信标 P不变式 可达标识集 死锁控制
• 年，卷（期）: 2015,（5）
• 页码范围: 105-109
• 页数: 5页
• 分类号: TP271+8
• 字数: 5273字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2015.05.018

摘要

针对具有特定资源库所的S3 PR网，提出了一种基于 P不变式和严格极小信标的计算可达标识集的新方法。首先计算出由 P不变式所确定的不变式标识集，再通过分析严格极小信标中相应库所的托肯数与其界的关系，提出判定标识是否为伪标识的判定定理，并基于判定定理有效求解伪标识集，最终通过剔除不变式标识集中的伪标识来获得可达标识集。实验结果表明，采用所提的方法，可以快速有效地计算出S3 PR网中的可达标识集。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾建援	西安电子科技大学机电工程学院	174	1783	17.0	35.0
2	钟春富	西安电子科技大学机电工程学院	3	5	1.0	2.0
3	张秀艳	西安电子科技大学机电工程学院	4	15	3.0	3.0