-
题名基于T-图的复杂Petri网约简算法研究
- 1
-
-
作者
李书举
李文敬
罗锦坤
杨文
-
机构
广西师范学院计算机与信息工程学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第1期40-42,82,共4页
-
基金
国家自然科学基金项目(61163012)
广西研究生教育创新计划项目(教育厅2011106030703M05)
-
文摘
为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。
-
关键词
petri网
T-图
子网划分
划分条件
petri网约简
-
Keywords
petri net T-Graph Subnet partition Partitioning conditions petri nets reduction
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-