基于Petri网下哲学家就餐问题模型的改进与推广.pdfVIP

总第243期 计算机与数字工程 V0lI38No．1 2010年第 1期 Computer＆ DigitalEngineering 40 基于 Petri网下哲学家就餐 问题模型的改进与推广 邵长 明 宋 文 (西华大学数学与计算机学院 成都 610039) 摘 要 哲学家就餐问题是描述在共享资源下同步与并发的经典案例，活性与无饥饿性是求解此问题的前提 ，效率是 基本要求。基于两个许可卡的传递策略，已经给出了无饥饿解的Petri网模型，并且在该模型基础上的改进解决了许可卡的 传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题。然而 以上改进并没有真正实 现效率上的高效且不易推广到哲学家人数大于5位的情形 。 关键词 Petri网；哲学家就餐问题；延迟 Petri网；效率 中图分类号 TP393 ImprovementandExtension oftheDining