用Petri网描述进程的死锁

死锁是操作系统的一个重要概念，本提出用库所／变迁网直观，动态地描述并发进程的死锁，本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果。