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

摘要：

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

关键词： Petri网 C/E系统 哲学家就餐问题模型 系统模拟 条件事件集

作者: 叶剑虹 宋文 孟永刚

作者单位: 西华大学数学与计算机科学技术学院,四川成都,610039

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 211-212,215

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）