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

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 211 基于Petri 网下的哲学家就餐问题的模拟与验证 叶剑虹, 宋 文, 孟永刚 西华大学数学与计算机科学技术学院, 四川成都 610039 摘 要: 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个 有代表性的问题,该问题是评价同步方法的一个测试标准 利用Petri 网的C/E 系统来模拟哲学家就 餐问题具有很好的实用背景, 因为C/E 系统下的条件事件集的发生可以用开关或者门电路来实现 通过采用 C/E 系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制 的模型 关键词: Petri 网; C/E 系统; 哲学家就餐问题; 模拟 文章编号: 1004-731X (2005) S-211-02 中图分类号: TP301 文献标识码: A Simulation and analysis of the Dining Philosophers based on Petri Nets YE Jian-hong, SONG Wen, MENG Yong-gang (School of Mathematics Computer Science technology, Xihua University, Chengdu Sichuan 610039, China) Abstract: The dining philosophers can be represented as a representational problem in sharing resource cooperation, which perform the occurrence application program. It is a testing standard in evaluate synchronization methodological. The paper based on C/E systems simulate the dining philosophers, which has very well practicality background, because of conditions and events sets in C/E systems can achieved by switch or door circuit. Through the simulation of dining philosophers, there have a perfect model which can be optional controlled by exterior condition. Key words: Petri Nets; C/E system; The dining philosophers; simulation 统中的三种状态: 就绪状态; 执行状态; 等待状态 引 言 我们假定读者已经具有Petri 网的基本知识和概念 Petri 网是一种系统的数学和图形的建模工具,特别适合于 1 模型的改进与验证 对具有同步 并发 冲突的离散事件系统进行建模和分析,因 而 Petri 网广泛应用于复杂系