| 时延Petri网模拟能力研究 |
| |
| 引用本文： | 于汪洋,吴哲辉.时延Petri网模拟能力研究[J].微计算机应用,2009,30(8). |
| |
| 作者姓名： | 于汪洋 吴哲辉 |
| |
| 作者单位： | 山东科技大学,信息科学与工程学院,青岛,266510 |
| |
| 基金项目： | 国家自然科学基金项目 |
| |
| 摘 要： | Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模.
|
| 关 键 词： | 时延Petri网 模拟能力 零检验 随机存取机 图灵机 |
Research to Simulation Capability of Timed Petri Nets |
| |
| YU Wangyang,WU Zhehui.Research to Simulation Capability of Timed Petri Nets[J].Microcomputer Applications,2009,30(8). |
| |
| Authors: | YU Wangyang WU Zhehui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
