基于Petri网的哲学家就餐问题的公平就餐模型

摘要：

哲学家就餐问题是离散事件系统、Petri网理论和计算机操作系统等研究中的一个经典例子.本文利用Petri网对该问题进行建模,提出了两种能够实现公平就餐的Petri网模型.与已报道的公平就餐模型对比,本文提出的Petri网模型不仅也能保证每位哲学家有完全均等的就餐机会和能够避免系统死锁与无限等待,而且允许多进程的发生,并同时提高了资源的利用率和系统的运行效率.此外,本文提出的Petri网模型便于控制的实现并在理论上可以推广到任意复杂的系统.

关键词： Petri网 哲学家就餐问题 死锁 无限等待 公平就餐

作者: 张志明 吴维敏 苏宏业

作者单位: 工业控制技术国家重点实验室,浙江大学先进控制研究所,浙江,杭州,310027

会议类型: 国内会议

会议名称: 中国自动化学会第21届青年学术年会

会议地点: 山东烟台

会议语种:中文

页码: 895-900

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