广西教育厅科研项目(201106LX515)
- 作品数：3 被引量：3H指数：1
- 相关作者：杨夏妮龙法宁张远夏更多>>
- 相关机构：玉林师范学院更多>>
- 发文基金：广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于着色Petri网的双向搜索关键路径算法
- 2014年
- 提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法.
- 杨夏妮
- 关键词：双向搜索AOE网
- Petri网可达性的伪标识判定法
- 2013年
- Petri网标识的可达性判定问题是进行Petri网分析的基础。在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法。该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识。通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度。
- 杨夏妮
- 关键词：PETRI网可达性
- 基于约束优化的Petri网可达性分析被引量：3
- 2013年
- Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法,提出一种基于约束优化的Petri网可达问题判定方法,该方法是在状态方程法的基础上,利用约束程序寻求可行解,再利用优化求最优解,从而减少问题搜索的分支,达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。
- 杨夏妮龙法宁张远夏
- 关键词：PETRI网可达性
