| 基于Petri网的电梯群控系统设计 |
| |
| 引用本文： | 杨博钦,宋文,周鑫.基于Petri网的电梯群控系统设计[J].绵阳师范学院学报,2015(2):71-78. |
| |
| 作者姓名： | 杨博钦 宋文 周鑫 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川成都,610039 |
| |
| 基金项目： | 四川省科技厅项目(2013JY0089)；四川省教育厅项目 |
| |
| 摘 要： | 众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.
|
| 关 键 词： | Petri网 P/T系统 电梯群控 形式化验证 S_不变 可达标识图 程序实现 |
Design of Group Control System for Variable Speed Elevator Based on Petri Nets |
| |
| YANG Bo-qin,SONG Wen,ZHOU Xin.Design of Group Control System for Variable Speed Elevator Based on Petri Nets[J].Journal of Mianyang Normal University,2015(2):71-78. |
| |
| Authors: | YANG Bo-qin SONG Wen ZHOU Xin |
| |
| Institution: | YANG Bo-qin;SONG Wen;ZHOU Xin;School of Mathematics and Computer Engineering,Xihua University; |
| |
| Abstract: | |
| |
| Keywords: | Petri nets P/T system elevator group control formal verification Sinvariant reachable marking graph program realization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
