书目详细信息 : 自动制造系统建模、分析与死锁控制