描述与求解哲学家就餐问题的Petri网模型研究

研究了用 Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题 ,并构造了不同的 Petri网模型解决死锁和无限等待问题 ,最后讨论了轮流进餐时不同进餐次数情况下的

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

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