电梯群控系统的Petri网建模和分析.pdfVIP

《冶金自动4乜}2007年增刊(s1) 电梯群控系统的Petri网建模与分析 童朝南，李宝峰 (-It京科技大学自动控制研究所，北京10083) [摘要】电梯耩‘控是一种典型的离散事件动态系统，它所包含的事件在时间和空间上都是离散的。在分析丁 时间Petri网(1哪j8)，有色Petri网(c删s)的知识和瞬时产：生函数的基础上，提出了电梯群控系统的一个新的 TCPN模型，屯梯如何运行足由控制命令统一调度。该建模方法适用于各种各样的离散事件动态系统建模，具有 良好的可扩展性。 【关键词】离散事件动态系统；Petri网；电梯群控 0引言 T={tl，t2，L，f。}是有限个变迁的集合； 越来越多的摩天大楼安装了现代电梯系统， FC(JD×，)U(T×JD)是弧的集合； 它是典型的离散事件动态系统，这体现在乘客到 K={々l，k2，L，k。}是有限个库所的容量的集 达的起始层，目的层和到达的时间的随机性。为 合，默认为K=。，即所有库所的容量均为无穷； 了满足乘客的要求和操作系统的安全高效性，出 形：F一{1，2，3，L}是弧权函数； 现了对电梯合作运行的电梯群控系统。 Mo：P一{1，2，3，L}是初始标识(marking)。 Petri网技术是由德国的Pe晡博士于1962年 库所表示一个对象的状态，存放场所或条件， 提出的一种研究信息系统及其相关系数的数学模 变迁表示变化或事件，库所中的对象或条件用to． 型。经过40多年的发展，Petri网技术日臻完善， ken表示[3]。 它能较好的描述系统的结构，表示系统中并行，同 1．1时问Petri网 步，冲突及因果依赖等关系，并以图的形式简洁直 时间Petri网是在普通Petfi网上加上时间延 观地模拟离散事件系统，分析系统的动态性质。 迟发展而来的。当某一变迁发生的条件满足时， 瞬间产生函数的方法也已经成功地应用到Petri网若该变迁立即从相应的输入库所中转移走相应的 中来分析离散事件动态系统的性能L2J。Petri网是 token，且立即能得到发生结果，称这样的变迁为瞬 电梯群控系统建模的有力工具。但当电梯和楼层 时变迁。若变迁的移走token或发生结果要延迟 的数量增加时，用原始的Petri网对系统进行建模，一段时间才可以发生，称这样的变迁为延迟变迁， 这些模型的规模将不可避免地膨胀，其计算复杂 它们都属于时间Petri网。时间Petfi网HJ也可以 性也将随之增大。选择将时间Petri网和有色Petri 用一个六元组来表示， J，会 网相结合的方法建立电梯系统的运行模型u PN=(P，r；F，K，B，C)， 使得电梯模型的图形表示更加直观，大大降低模 其中，P：卜[0L1]，代表变迁发生的可能性；c：T 型的复杂性，易于理解电梯的运行过程，使电梯模 一月，是一个矢量，包含一般分配函数的时间延迟。 型更接近于实际的电梯运行情况。 用来分析随机离散事件系统的瞬时产生函数 l Pe岫网简介 被定义为： 一个Petfi网【21是一个六元组 r∞ 肼(5)=Ie?“￡)dr：E(est) PN=(P，r；F，K，W，Mo)