| 基于Petri网下的哲学家就餐问题的模拟与验证 |
| |
| 引用本文： | 叶剑虹,宋文,孟永刚. 基于Petri网下的哲学家就餐问题的模拟与验证[J]. 系统仿真学报, 2005, 17(Z1): 211-212 |
| |
| 作者姓名： | 叶剑虹 宋文 孟永刚 |
| |
| 作者单位： | 西华大学数学与计算机科学技术学院,四川成都,610039 |
| |
| 基金项目： | 四川省科技厅应用基础课题 (03226125) |
| |
| 摘 要： | 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.
|
| 关 键 词： | Petri网 C/E系统 哲学家就餐问题 模拟 |
| 文章编号： | 1004-731X(2005)S-211-02 |
| 修稿时间： | 2005-08-29 |
Simulation and analysis of the Dining Philosophers based on Petri Nets |
| |
| YE Jian-hong,SONG Wen,MENG Yong-gang. Simulation and analysis of the Dining Philosophers based on Petri Nets[J]. Journal of System Simulation, 2005, 17(Z1): 211-212 |
| |
| Authors: | YE Jian-hong SONG Wen MENG Yong-gang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
