基于有色Petri网的电梯门系统建模与仿真
100 积分
50
评分
4.5 积分- 详情
- 2021-08-07
- 简介
pdf
- 246KB
- 页数 5P
- 阅读 65
- 下载 31
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时,提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识,进而验证了死标识存在的合理性,证实了电梯门系统CPN模型的正确性。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
基于有色Petri网的电梯门系统建模与仿真 246KB
基于机织电极的电势检测系统建模与仿真 292KB
基于PSCAD的微电网控制系统建模与仿真 313KB
基于Petri网的火灾报警控制系统建模 620KB
《生产系统建模与仿真》毕业论文说明书 2.2MB
汽车电子节气门控制系统建模与仿真 201KB
基于Trnsys的水冷型中央空调系统建模与仿真 1017KB
基于AMESim的潜孔钻机行走液压系统建模与仿真分析 900KB
基于AMESim的液压锚杆钻机冲击器系统建模与仿真 343KB
基于AMESim的液压破碎锤液压系统建模与仿真 918KB