求解哲学家进餐问题的Petri网模型及实现

作者：王淑礼; 江祥奎操作系统petri网模型互斥死锁问题进程调度程序实现系统描述进餐次数就餐经典

摘要：为了解决操作系统中的进程间同等互斥问题,研究了以Petri网为系统描述工具来分析经典的哲学家进餐问题,提出了避免死锁问题的轮流就餐方案,讨论了不同进餐次数之比时的Petri网模型,给出了两种模型的程序实现.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社