论文部分内容阅读
Petri网是公认的描述并发性、不确定性、同步性、冲突性和资源共享性等重要行为概念的基础理论之一。它在柔性制造系统(flexible manufacturing systems,FMSs)的建模,分析,仿真与控制等方面具有广泛应用。随着Petri网理论的不断完善,面向过程的Petri网(process-oriented Petri nets,POPNs)与面向资源的Petri网(resource-oriented Petri nets,ROPNs)成为FMS的主要建模方式。模拟系统的生产进程时,ROPN中引入颜色,省略所有的工序库所。与POPN相比,它的模型更简洁,弥补了基于POPN建模大型复杂系统的不足。因此,考虑到模型的复杂性,ROPN是更好的选择。FMS中,死锁可能导致安全要求很高的系统的巨大损失与灾难。因此,研究死锁控制问题的处理方法至关重要。本文以一类面向资源的有色Petri网(colored resource-oriented Petri nets,CROPNs)为研究对象,分析研究使系统具有活性的控制方法。完成的主要工作如下:1.以一类资源分配系统其操作工序仅需一种资源的POPN模型为出发点,建立其相应的面向资源的序列系统(system of resource-oriented sequences,SRSs)。SRS是一类CROPN。这类模型的建立,使得该类资源分配系统的形式化模型更加紧凑。然后,利用CPN Tools建立SRS的仿真模型,实现对模型性质的分析。2.基于该类SRS模型的内在活性结构即资源容量及权值的关系,提出资源利用率的概念,用来描述资源占有情况,进一步从模型中资源的利用率出发提出一种活性比例控制器的设计方法。首先,给定一个SRS模型,根据资源库所的连接形式进一步确定控制器的拓扑结构;然后,从资源利用率的角度分析模型的内在活性结构;最后,通过求解整数线性规划方法得出控制器容量与权值的参数,实现活性比例控制器的设计。3.基于一类SRS模型引入ξ资源的概念,提出一种最优活性控制器设计方法。研究发现,模型中最大完满资源变迁回路在可达状态下饱和是造成死锁的原因。若模型中不存在ξ资源则可以使系统达到最大大可行为数,并证明该类模型仅有两种标识:安全标识及非安全标识。给定一个SRS模型,首先找到模型中所有最大完满资源变迁回路;然后,为每一个回路添加控制器,该控制器与回路中所有的输入与输出变迁相连,通过限制进入回路中的托肯数,从而实现模型的活性控制。