| 基于T-图的复杂Petri网约简算法研究 |
| |
| 引用本文： | 李书举,李文敬,罗锦坤,杨文.基于T-图的复杂Petri网约简算法研究[J].计算机应用与软件,2013(1):40-42,82. |
| |
| 作者姓名： | 李书举 李文敬 罗锦坤 杨文 |
| |
| 作者单位： | 广西师范学院计算机与信息工程学院 |
| |
| 基金项目： | 国家自然科学基金项目(61163012);广西研究生教育创新计划项目(教育厅2011106030703M05) |
| |
| 摘 要： | 为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。
|
| 关 键 词： | Petri网 T-图 子网划分 划分条件 Petri网约简 |
RESEARCH ON T-GRAPH BASED COMPLEX PETRI NETS REDUCTION ALGORITHM |
| |
| Li Shuju Li Wenjing Luo Jinkun Yang Wen.RESEARCH ON T-GRAPH BASED COMPLEX PETRI NETS REDUCTION ALGORITHM[J].Computer Applications and Software,2013(1):40-42,82. |
| |
| Authors: | Li Shuju Li Wenjing Luo Jinkun Yang Wen |
| |
| Affiliation: | Li Shuju Li Wenjing Luo Jinkun Yang Wen(College of Computer and Information Engineering,Guangxi Teachers Education University,Nanning 530001,Guangxi,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
