【摘要】 作为描述具有并行或异步并发系统的工具，Ｐｅｔｒｉ网已在计算机各个领域得到了较好的应用．操作系统是最重要的系统软件，而进程间的同步互斥是操作系统中的关键问题．本文讨论了用 Ｐｅｔｒｉ 网表示操作系统中的经典哲学家就餐问题的方法．更多还原

【Abstract】 Petri nets are a tool for parallel or asynchronous concurrency system. It has found wide applications in computer systems. Operating system is an important software, but the synchronization and mutual exclusion within the processes is a key problem in operating system. This paper discusses the method of Petri nets in the Dining Philosophers Problem of operating system.更多还原