广西研究生教育创新计划项目(2011106030703M05)
- 作品数：1 被引量：0H指数：0
- 相关作者：罗锦坤李书举杨文李文敬更多>>
- 相关机构：广西师范学院更多>>
- 发文基金：广西研究生教育创新计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于T-图的复杂Petri网约简算法研究
- 2013年
- 为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。
- 李书举李文敬罗锦坤杨文
- 关键词：PETRI网子网划分
