基于Petri网的电梯群控系统设计

作     者：杨博钦 宋文 周鑫 YANG Bo-qin;SONG Wen;ZHOU Xin

作者机构：西华大学数学与计算机学院四川成都610039 

基　　金：四川省科技厅项目(2013JY0089) 四川省教育厅项目(08ZA029) 

出 版 物：《绵阳师范学院学报》 (Journal of Mianyang Teachers＇ College)

年 卷 期：2015年第34卷第2期

页      码：71-78页

摘      要：众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.

主 题 词：Petri网 P/T系统 电梯群控 形式化验证 S_不变 可达标识图 程序实现 

学科分类：08[工学] 0813[工学-化工与制药类] 0835[0835] 0802[工学-机械学] 0814[工学-地质类] 080201[080201] 

D　O　I：10.16276/j.cnki.cn51-1670/g.2015.02.013

馆 藏 号：203115658...