基于Petri网下的哲学家就餐问题的模拟与验证  

Simulation and analysis of the Dining Philosophers based on Petri Nets

作　　者：叶剑虹[1] 宋文[1] 孟永刚[1] 

机构地区：[1]西华大学数学与计算机科学技术学院,四川成都,610039 西华大学数学与计算机科学技术学院,四川成都,610039 西华大学数学与计算机科学技术学院,四川成都,610039

出　　处：《系统仿真学报》2005年第z1期211-212,215,共3页Journal of System Simulation

基　　金：四川省科技厅应用基础课题 (03226125)

摘　　要：哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.

关 键 词：PETRI网 C/E系统 哲学家就餐问题 模拟 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]