论文部分内容阅读
为了解决操作系统中的进程间同步互斥问题，以Petri网为系统描述工具分析了经典的哲学家进餐问题，讨论了1：1的轮流固定使用的Petri网模型，给出了使用（串行）的管理模型的程序实现，且可以实现2：3的轮流固定使用（并行）和不固定的动态管理．此法简洁高效，在操作系统的其他类型进程调度中可进行类似推广．