PLC程序设计中的Petri网方法研究.pdfVIP

了尸’二几‘ PLC程序设计中的Petri网方法 釜海鹰 (兰州铁道学院电信系，兰州 730070) 摘要 伶眺的PLC祖序设计方法难以对控创系跳中存在的并发 协调.竞争事件进行处理.而Petri网由于其本奔 的特性，侠得上述问越在Petri月中比收容易解决。本文介绍T用Petri网进行PLC程序设计的方法.实残证明。利用Pori 网方法来处里并发、协调，竞争事件足行之有效的. - 关键词 Pori网 设计二协调;竞争 引 言 ·“笼毛六加代、 从一般的自动化过程控制系统到柔性制造系统 (FMS)以及自动化立体仓库和车站微 机联锁系统，PLC 的应用非常普遍，而且 日益显示其强大的功能。但如何更好的对 PLC f 进行程序设计、分析使其在可靠运行的基础上实现系统要求的功能，还需一种新的设计方 法。在 PLC程序设计中，传统的设计方法有状态图法和功能图法，这些方法可以解决顺 序、随机等类型的问题。但随着控制系统的多功能及复杂化，这些方法就显得不足，不能 很好地解决控制系统中存在的并发、协调、竞争事件。例如柔性系统是并行系统，其中包 含了能并行运行的许多组成要素 (机床、机器人、自动导引小车、传送带等)，与此同时 这些要素又要求能协调动作且具有竟争性 (例如儿台机床要求同一台小车服务):自动化 立体仓库则是集柔存储、搬运、输送、分发于一体，代表了当今物流发展的趋势，在这中 间依然存在着需要协调及竞争的因素:车站联锁系统中也存在着协调和竞争问题。对上述 系统中存在的问题必须有一个有效的方法来加以解决，实践证明Petri网方法不仅对一般 的顺序问题而且对上述问题都是行之有效的。 Petri网方法是解决并行系统程序设计的一种好方法t[o，这是因为: (1)Petri网具有图形性质，它能够比较简单和清楚地描述并发系统中的所有现象。 (2)为揭示并发系统中的一系列严重的反常现象 死〔锁，不安全)提供了分析模型。 (3)根据构造出的模型，可以直接设计PLC程序，控制并行系统的运行。 2 Petri网 一个Petri网是一种特殊的含有位置和转换的有向图，它可用一个四重子PN=(P,T, ，，O)表示，其中尸-伽t,P,7…，P.}是有限的位置集合，T=认t:二，、}是有限的转换集合， PuT*必，PnT二m,IcPxT是转换输入弧的柒合，OcPxT是转换输出弧的集 合。按Petri网中位置的容量划分，可分为两种:无限容量Petri网和有限容量’Petri网。 如果一个Petri网的位置都能容纳无限个标记，则为无限容量Petri网，反之则为有限容量 Petri网。但在实际系统中，一个位置的容量是有限的，因此这里讨论的Petri网都是有限 14 ‘匕 容2Petri网.令K(p)。p-cP，表示位置P的容量。 下面的两个定义M给出了Petri网的状态概念以及有限容量Petri网的转换使能和引发 的规则。 定义I一个Petri网PN=(P,T,I,O)的一个标识M位置集合P到非负整数N 的一个函数，M.P-N. M(P)=(M(P,),M(P,)，二、M(P.))是一个，/I的向量，M(P)表示位置P,中的标记 个数.标记M是一个PN的初始标识，表示网络的初始状态。令1(t,)和al,)分别表示转 称 换 的‘输入和输出位置的集合。再令#(P,,1(t,))和#(P,0(1,))分别表示弧(R,t,)和弧(t,, P.)的权。 定义2具有标识M的有限容量Petri网PN=(P,T,1,。)的一个转换1,是使能的， 如果对与所有的P，有