| 哲学家就餐问题的Petri网描述 |
| |
| 引用本文： | 伦立军,刘志红.哲学家就餐问题的Petri网描述[J].哈尔滨师范大学自然科学学报,1999,15(5):64-67. |
| |
| 作者姓名： | 伦立军 刘志红 |
| |
| 作者单位： | [1]哈尔滨师范大学 [2]哈尔滨市电控设备厂 |
| |
| 摘 要： | 本文讨论了用Ｐｅｔｒｉ网表示操作系统中的经典哲学家就餐问题的方法。
|
| 关 键 词： | Petri网 操作系统 进程 哲学家就餐问题 |
PETRI NET DESCRIPTION OFTHE DINING PHILOSOPHERS PROBLEM |
| |
| Lun Lijun,Liu Zhihong.PETRI NET DESCRIPTION OFTHE DINING PHILOSOPHERS PROBLEM[J].Natural Science Journal of Harbin Normal University,1999,15(5):64-67. |
| |
| Authors: | Lun Lijun Liu Zhihong |
| |
| Institution: | Harbin Normal University |
| |
| 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. |
| |
| Keywords: | Petri nets Operating System Process Dining Philosophers problem |
| 本文献已被 CNKI 维普 等数据库收录！ |
