操作系统¶

2021-2022学年秋季学期，清华大学软件学院。

参考用书：

• 谌卫军，王浩娟：《操作系统》，北京：清华大学出版社，2012年5月第一版。

关于 Petri 网：

• 会考根据描述重建 Petri 网
• 会考根据描述重建着色 Petri 网（哲学家就餐问题）