动态可重构制造系统(Dynamic Reconfigurable Manufacturing System,DRMS)是一类构型可变的新型制造系统。借助于构型的变化,可方便快捷地在同一产品族中进行产品生产转换。动态可重构制造系统具有多个配置和一个重构控制器,其中每个配置是一个自治系统。重构控制器在运行时切换配置,以响应更改的控制规范或组件故障,从而使DRMS能够持续满足控制规范。在不考虑详细的连续过程的情况下,DRMS表现出离散事件系统(Discrete Event System,DES)的典型特征。DRMS中有两种离散事件:普通事件和重构事件,前者对应于生产操作,后者对应于配置更改。普通事件的发生会改变DRMS在激活配置中的状态。重构事件的发生在运行时立即将激活的配置切换到其目标配置,其中包括添加/删除组件、修改激活组件之间的连接关系以及为目标配置分配初始状态。当通过重构事件向激活的配置中添加某些组件时,重构事件目标配置的初始状态是不确定的,这使得动态可重构制造系统呈现出比一般离散事件系统更高的行为复杂性。DRMS的逻辑行为可以通过其发生的离散事件以及由此引起的系统状态变化来描述。事件发生前后的系统状态称为事件的上下文。DRMS的上下文无关禁止路径(Context-free Forbidden Path,CFFP)是系统在演化过程中应该消除的事件序列,它独立于系统状态。特别是在DRMS中,重构事件可能发生在激活配置任何可能的可达状态,且重构事件的目标配置的初始状态并不总是确定的。因此,CFFPs对应于DRMS的一种全局控制规范。提出了一种基于NCES(Net Condition/Event Systems)的动态可重构制造系统在“最大单自发变迁步”触发规则下的上下文无关禁止路径控制方法。NCES是Petri网的模块化扩展,模块之间具有信息的传递。为了将控制问题形式化,将形式语言与NCESs结合起来。首先,提出了一种适用于所有事件都是可观的DRMSs的CFFP控制器设计方法。CFFP控制器由禁止路径跟踪器和最后事件控制器组成。禁止路径跟踪器跟踪禁止路径上事件的发生状态,最后事件控制器在必要时限制最后事件的发生;其次,对所提出的CFFP控制器进行了改进,以应对具有不可观事件的DRMSs。改进的CFFP控制器由改进的禁止路径跟踪器和最后事件控制器组成。改进的禁止路径跟踪器的实现是需要满足一定的约束条件,最后事件控制器限制CFFP上最后一个事件的发生。讨论了控制器设计方法的正确性和适用性,并用一些简单的例子来说明该方法。