求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子 ,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具 ,本文提出了用Petri网避免死锁的一种模型 。