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

摘要

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