引言
在全球市场竞争日趋激烈、供求关系飞速变化的产业环境中,自动仓储系统(Automated Storageand Retrieval System,AS/RS)在现代企业物流和电子商务中得到了广泛应用,已成为企业生产自动化和管理信息化的标志之一。AS/RS以其出入库台、输送机、堆垛机、自动导引小车(Auto GuidedVehicle ,AGV)等多种设备构成了物料输送线,将企业生产线、配送线和立体仓库紧密连接在一起。现代企业制造的最主要特点是批量小、品种多、时间性要求高,由多种生产工艺流程和物料传输流程组成,系统运行因此变得十分复杂。如何快速地挖掘出AS/RS中的瓶颈和关键路径,优化运行方案,充分挖掘资源潜力,降低能耗,以实现多路径的物料输送平衡、资源平衡、时间平衡,是仓储物流控制系统设计中的主要问题。本文针对AS/RS控制设计任务,提出了一种基于资源颜色时序信号的扩展Petri网(Signal Timed Colored Resource PetriNets,ST2CRPNs)的建模设计方法,能够将模型映射为可编程逻辑控制器(Programmable Logic Controller,PLC)控制程序,并在实际应用中得到了验证。
1 相关研究
对于这类离散事件动态系统问题,国内外学者基于Petri网理论进行了大量的研究,目前主要集中在仓储物流系统模型的调度策略和动态性能评估问题上。例如文献[3]采用颜色Petri网构建了AS/RS的动态模型,并提出了一种出库/入库调度策略来实现系统的最大吞吐量。该模型既可用于系统设计阶段离线性能评估,也可用作系统在线监控。文献[4]和文献[5]则将面向对象(Object Oriented,OO)技术引入AS/RS建模过程中,使所建立的模型具有更强的可重用性和可操作性。在简化Petri网模型方面,颜色方法优于OO方法,但在实际建模过程中随着颜色粒度大小的不同,出现了各种各样的着色方法。考虑到AS/RS中每个任务的完成都需要一定时间,文献[7]引入了时间要素,以堆垛机和小车作为托肯,任务路径作为颜色,建立了着色赋时Petri网(Color-TimePetriNet,CTPN)动态模型。
在动态性能分析方面,文献[8]首先提出了基于Petri网的运输时间模型及演绎模型,对堆垛机运行进行建模,通过模型分解和仿真验证寻求系统最优控制策略,之后又进一步发展了随机颜色Petri网理论,利用随机Petri网与马尔可夫链的同构等价关系,通过可视仿真器PACE 311分析时间性能和资源利用率。文献[10]则利用有限状态机和模块化的CTPN建立了Matlab状态流仿真环境,分析了多种调度策略对系统性能的影响。由于仓储物流系统的资源约束性,回路/环路“死锁”的检测和消除一直是调度控制策略研究的热点问题。文献[11]采用面向资源的Petri网构建了AGV路径的关系模型,分析了小车回路/环路死锁的条件和消除算法,但没有说明小车路径的关联关系,而且包含多种设备的AS/RS比单一的AGV系统复杂,该方法计算量大且困难。文献[12]将广义互斥约束概念扩展到CPN模型,提出了防止环路一级死锁和二级死锁控制的策略,并应用到火车行驶路径调度中,但也未能彻底避免死锁。文献[13]提出的控制策略利用多容量库所作为缓冲区,当有多辆小车作业时有利于避免死锁,但无法检测出环路临界状态。文献[14]采用库所双重着色的CTPN方法,结合有向图工具,阐述了有轨小车(Rail Guided Vehicle,RGV)系统的环路死锁原因和系统无死锁的充要条件,并提出一种死锁控制方法,但是该方法假定系统中只有一台升降机,并且不考虑RGV小车运行过程中的时间延迟等因素。上述方法均是面向仿真验证的建模方法,在系统仿真过程中应用控制策略来解决“死锁”等调度问题,并不适于仓储物流实际控制系统的设计开发。
迄今针对AS/RS控制系统设计的动态模型均尚未进行深入的研究。目前,在工业控制系统上,PLC以其高重用性代替了硬接线式的控制继电器。IEC 6113123标准采用五种PLC程序设计语言:指令列表(instruction list)、结构文本(structuredtext)、功能块图(function block diagram)、序列功能表(sequentialfunctionchart)和梯形图(ladderdiagram)。但这些都是低级语言,整个设计开发工作量较大,在很大程度上依赖于工程师的个人经验,即时间、人力成本昂贵,并且控制系统验证工作一般只能通过多次仿真和现场试验方式进行。因此,使用Petri网作为PLC程序建模、分析和设计的自动化工具已经成为一种研究趋势。文献[15]提出了一种信号解释Petri网(Signal IntERPreted PetriNets,SIPNs),该模型能够处理输入/输出信号,并可通过一种图形化编辑器转成指令列表形式的PLC程序。但指令列表形式的程序难以理解,而梯形图采用“软件设备”来模拟硬接线式继电器的梯形逻辑配置[16],被业界工程师广泛地接受和使用。文献[17]使用Petri网模型为一小型机器人设计和实现了一种顺序控制器,直接生成关联的梯形图程序,但该方法仅在操作逻辑简单的教育系统中得到了应用。文献[18]对使用Petri网和梯形图进行控制系统设计的多种方案进行了深入对比分析后指出,无论是采用用户友好的高级语言或者硬件配置来产生Petri网控制器用于验证、分析和调试,还是反过来由PN网模型生成PLC控制程序,这一相互转化过程应该是可验证和自动化的。文献针对敏捷制造系统提出了一种“一对一”映射技术,将制造系统Petri网模型转化为相应的PLC梯形图程序,但是该方法缺乏一致性,也不能处理实际仓储物流系统复杂的调度和控制情况。
在实际应用中笔者注意到:系统的托盘化货物在仓储设备上的物流运输类似于Petri网中的标记在库所之间的变迁活动,由此提出了一种面向仓储物流的STCRPNs建模设计方法,所建立的系统动态模型清晰地描述了各种物流活动,并可以处理活动之间的顺序、并发、冲突关系,以解决系统“死锁”和“陷阱”问题。更重要的是,本文引进了事件和条件信号概念,使该方法除了可以用于仿真验证外,还可以采用元素对应映射方法,直接转化为控制系统PLC程序,有效降低了控制系统的开发、调试和业务流程再设计成本。本文的研究对象是单容量资源控制系统,即系统中每个设备资源容量为1,这一设定也符合一般的仓储物流系统。
2 仓储物流系统简介
一个典型的自动化仓储物流系统有堆垛机、输送机、RGV或AGV等设备,包括入库和出库两个工作流程。图1中的入库流程是将货物装在从空托盘区取来的空托盘上,从入库口———输送机1(链式或棍子)入库。在经过输送机2后,按照入库货物的仓库排号,选择不同的出入库台。一般立体仓库的每个巷道对应一台堆垛机和两个出入库台,一个为入库台,一个为出库台,出入同一巷道、不同排号的货物选择相同的出入库台。货物到达入库台位置后,该巷道的堆垛机如果空闲,就把货物送到正确的仓库货位(排号、层号、列号)。例如:某货物的仓库货位是P(3排2层5列),入库路径为R(输送机1,2,4,6,7,8和堆垛机2)。出库流程一般指把生产线(或配送线)上需要的货物从立体仓库中取出,送到生产线(或配送线)附近的缓冲站上。例如:堆垛机1按出库指令从指定货位P(2排3层6列)上取来货物,送到该巷道对应的出库台———输送机5,然后经输送机6,7,9,11,到达出库口输送机12,再由一台AGV或者其他车类(如RGV、叉车)送到指定的缓冲站,简单的也可以是经由传送带。缓冲站卸完货后,剩下的空托盘送上缓冲站,经AGV送至输送机13,然后由空托盘返回输送机14,15,16送回空托盘区,从而完成一个完整的物流过程。
图1 典型自动化仓储物流系统布局面
3 面向仓储物流的建模
Petri网理论是由德国Carl Adam Petri博士于1962年提出的一种完善的图形化数学工具,适于描述和分析具有同步、通讯、资源共享等特点的并发过程系统。下面首先介绍一些Petri网的基本概念和符号,更多信息可参考文献[21]和文献[22]。
3.1 Petri网基本定义
3.2仓储物流系统资源Petri网建模
由于仓储物流系统中设备资源的有限性,本文也采用了有限容量的资源Petri网(Resource PetriNets,RPNs)来描述系统。与其他Petri网表示资源方法不同,本文的具体方法是:将系统中的每个运输设备(轨道输送机、堆垛机、AGV、RGV等)表示为一个有限容量的库所p资源,每个设备中的货物表示为库所p的标记托肯,货物的数量表示为库所p的标记数M(p),每两个设备之间货物的交接运输表示为变迁t,源设备上货物的输出表示为变迁t的输入弧I,目的设备上货物的输入表示为变迁t的输出弧O,即图1中的典型仓储物流系统可用图2中的RPNs模型表示。
图2 仓储系统RPNs模型
如果某个设备资源库所p的容量Max(p)与其中的标记数M(p)满足Max(p)≥M(p),则称相关变迁t是资源使能的。为简化系统复杂性,一般可将资源库所p的容量设定为1(Max(p)=1),即每个设备仅容纳一件货物。由于仓储系统中的设备为专一使用,每件货物只能在两个设备之间进行运输交接,即输入弧I和输出弧O是唯一的。因此RPNs模型是一个纯的普通Petri网(如图2),它清晰地描述了系统中各种物流活动,以及活动之间的顺序、并发、冲突关系(图2中的各元素具体含义如表1),并可以唯一地表示成关联矩阵形式:
表1 Petri网模型元素描述
通过关联矩阵可以分析模型的结构性质,如复杂仓库物流系统中经常出的“死锁”和“陷阱”,可根据判定定理1被检测出来。
定理1 一个Petri网N=(P,T,I,O,M0),A为N的关联矩阵,Pi={pi1,pi2,?,pik}为N的一个库所子集,则Pi为网的一个死锁(陷阱)的充分必要条件是:A关于Pi的列生成子阵A1,A2,?,Ak中,每个非全零行至少包含一个“-1”(或“1”)元素。根据Petri网的运算规则,此RPNs模型可进行保性化简,以便分析与仿真。由系统中设备资源库所的所属分类,图2中的模型可化简为图3所示的输送机系统子网PNR、堆垛机系统子网PNS、AGV系统子网PNA等子系统Petri网模型的组合。通过化简的RPNs模型,可以看到各个库所容量和库所资源的总量不变;变迁分为子网内部和子网间的,变迁规则不变,变迁发生的条件也相同,原始模型的结构性质得到保持,物流信息的表示更为清晰和直观。
图3 仓储物流系统RPNs简化模型
转载请注明出处:拓步ERP资讯网http://www.toberp.com/