论文部分内容阅读
在第一部分推导出的面向资源的着色Petri的基础上讨论FMS中多路径条件下的死锁避免控制策略问题,给出了无死锁运行的充要条件及其相应的控制策略.该控制策略保证系统无死锁,同时又能使系统中有尽可能多的工件,从而提高资源的利用率.此控制策略可作为实时控制嵌入调度系统中.
Based on the resource-oriented shader Petri derived in the first part, we discuss the deadlock avoidance control strategy under multi-path conditions in FMS, and give the necessary and sufficient conditions for deadlock-free operation and the corresponding control strategies. The control strategy ensures that the system has no deadlock, and at the same time, can make the system have as many artifacts as possible to improve resource utilization. This control strategy can be embedded in the scheduling system as real-time control.