基于Petri网下哲学家就餐问题模型的改进与推广
邵长明
宋文
1.西华大学数学与计算机学院,成都,6100392.西华大学数学与计算机学院,成都,610039
摘要：哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求.基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题.然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形.
关键词：Petri网哲学家就餐问题延迟Petri网效率
分类号：TP393(计算技术、计算机技术)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 40-43 )
英文信息