[1]刘文良,刘久富,周建勇. 基于有色Petri网的电梯门系统建模与仿真[J].计算机技术与发展,2015,25(03):162-166.
　LIU Wen-liang,LIU Jiu-fu,ZHOU Jian-yong. Modeling and Simulation of Elevator Door System Based on Colored Petri Net[J].,2015,25(03):162-166.
点击复制

 基于有色Petri网的电梯门系统建模与仿真()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
25
期数:
2015年03期
页码:
162-166
栏目:
应用开发研究
出版日期:
2015-03-10

文章信息/Info

Title:
 Modeling and Simulation of Elevator Door System Based on Colored Petri Net
文章编号:
1673-629X（2015)03-0162-05
作者:
 刘文良; 刘久富; 周建勇
 南京航空航天大学 自动化学院
Author(s):
 LIU Wen-liang; LIU Jiu-fu; ZHOU Jian-yong
关键词:
 ; 电梯门系统; 有色Petri网 ; ASK-CTL; 死标识; 活性
Keywords:
 ; elevator door system; Color Petri Net; ASK-CTL; dead markings; liveness
分类号:
TP391.9
文献标志码:
A
摘要:
 文中分析了电梯门系统的组成结构，描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型，避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时，提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识，进而验证了死标识存在的合理性，证实了电梯门系统CPN模型的正确性。
Abstract:
 It has analyzed the composition and structure of the elevator door system,and has described the operating process of the elevator door system. Apply the theory that the Colored Petri Net ( CPN) can express different states of a system with different color of the token to establish an elevator door system model which is based on CPN,which avoids the state space explosion of the traditional Petri Net. Then use the CPN Tools to analyze the models automatically and generate the state space report to analyze its home properties,bounded-ness properties,liveness properties and fairness properties. When existing dead marking by liveness analyzing,propose reasonable algo-rithm proving model of dead marking based on ASK-CTL to verify that the model exists no self loop terminals and deadlock markings, which proves reasonable existence of the dead markings and the correction of the CPN model of the elevator door system .

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(03):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(03):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(03):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(03):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(03):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(03):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(03):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(03):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(03):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(03):47.

更新日期/Last Update: 2015-05-04