死锁

自动制造系统建模、分析与死锁控制

《自动制造系统建模、分析与死锁控制》,作者:李志武,周孟初著 出版社:科学出版社 ISBN:9787030242792。本书阐述了基于Petri网理论的自动制造系统的死锁预防策略,内容主要包括Petri网的基本信标理论,基于信标的死锁控制策略,基于可达图的死锁控制方法等。