参考文献/References:
[1] 黄颖坤,罗继亮.一种可编程逻辑控制程序的竞态检测方法[J].华侨大学学报(自然科学版),2015,36(2):175-178.
[2] 齐鹏飞,罗继亮,陈雪琨.PLC程序形式化的设计与验证[J].华侨大学学报(自然科学版),2013,34(3):241-246.
[3] 王素粉.基于排队论的升降横移式立体停车库控制策略研究[J].传动技术,2012,26(1):34-37.
[4] 王兵.基于PLC的立体车库控制系统设计[J].硅谷,2011(23):61-63.
[5] 中国重型机械工业协会停车设备工作委员会.巷道堆垛类机械式停车设备: JB/T 10474-2015[S].北京:机械工业出版社,2015:18-30.
[6] 倪会娟,罗继亮.采用普通Petri网的自动化立体仓库系统的PLC程序设计[J].华侨大学学报(自然科学版),2014,35(2):146-150.
[7] 吴红霞.基于MCGS的立体车库监控系统设计[J].自动化应用,2014(10):48-51.
[8] 李玉林.Introduction平面移动式立体车库系统设计与实现[J].贵州大学学报(自然科学版),2013,30(4):62-65.
[9] 李丙林,魏红波,尤文.基于PLC和触摸屏的大功率开窗机控制系统设计[J].电子科技,2014,27(12):73-76.
[10] 韩琳楠,李庆伟,刘媛媛.基于PLC控制的智能立体车库实验装置研究[J].现代制造,2012(9):56-57.
[11] 刘伟,张廷林,董小伟,等.基于PLC的立体车库自动控制系统的设计[J].起重运输机械,2013(12):20-22.
[12] 张小娟.基于PLC控制立体车库的设计[J].电子设计工程,2014(12):66-68.
[13] 苏荣君,王虎奇.垂直循环式立体车库车位寻址方式的研究[J].起重运输机械,2011(2):28-29.