摘要：针对自动机理论用于制造系统建模时易受系统规模影响的问题，提出了一种构建分布式自动机死锁监控器的新方法，用于解决知识化制造单元死锁问题。该方法可有效地提高自动机建模和运算效率。引入知识化制造单元关联矩阵的概念，给出关联矩阵自相关操作定义，在此基础上，将知识化制造单元划分为若干个单元子模块，构建了相应的分布式自动机死锁监控器，并得到了知识化制造单元无死锁的控制策略，用于对知识化制造单元进行实时监控，保证知识化制造单元运行的安全性。实例研究表明了该策略的可行性和有效性。

关键词：知识化制造单元 死锁 自动机 分布式死锁监控器 

单位：东南大学复杂工程系统测量与控制教育部重点实验室 南京210096