Colored Petri Net-Based Deadlock Detection and Avoidance in Concurrent Operating System

• 并发操作系统中基于有色Petri网的死锁检测与避免