基于T-图的复杂Petri网约简算法研究

• 作者: 李书举 李文敬 杨文 罗锦坤
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Petri网 T-图 子网划分 划分条件 Petri网约简
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 基金项目论文
• 页码范围: 40-42,82
• 页数: 4页
• 分类号: TP393
• 字数: 3667字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2013.01.009

摘要

为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法.根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证；在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化；最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致.实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文敬	广西师范学院计算机与信息工程学院	71	316	10.0	13.0
2	杨文	广西师范学院计算机与信息工程学院	7	26	3.0	4.0
3	李书举	广西师范学院计算机与信息工程学院	4	6	1.0	2.0
4	罗锦坤	广西师范学院计算机与信息工程学院	7	20	3.0	4.0