基于冲突判定的混杂Petri网模型行为分析

• 作者: 廖伟志 陆建波
• 来源期刊: 广西师范学院学报：自然科学版
• 学科: 工学
• 关键词: 混杂Petri网 冲突 消解 模型行为分析
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 学术研究
• 页码范围: 77-81
• 分类号: TP393.028
• 字数: 4870字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-8743.2011.03.016

摘要

为了分析基本混杂Petri网模型行为，提出了基本混杂Petri网各迁移间的冲突判定定理，讨论了消解策略，并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性，实例分析和比较说明了所提出算法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖伟志	广西师范学院计算机与信息工程学院	47	241	8.0	12.0
2	陆建波	广西师范学院计算机与信息工程学院	23	54	3.0	5.0