参考文献/References:
[1] 吕卫阳.PLC技术综述[J].自动化博览,2008(增刊1):16-19.
[2] AIKEN A,FAHNDRICH M,SU Zhen-dong.Detecting races in relay ladder logic programs[J].International Journal on Software Tools for Technology Transfer,2000,3(1):93-105.
[3] 吕毅.形式化方法介绍及其在工程中的应用[J].微电子学与计算机,2003(10):26-34.
[4] 张广泉.关于软件形式化方法[J].重庆师范学院学报:自然科学版,2002,19(2):1-4.
[5] 杨年华,虞彗群,孙华.带抑制弧的时延着色Petri网模型检测技术[J].计算机科学,2011,38(1):170-176.
[6] 沈云付,解晓方.基于on-the-fly的Petri网模型检查技术研究与实现[J].计算机应用与软件,2011,28(5):82-85.
[7] BENDER D F,COMBEMALE B,CRéGUT X,et al.Ladder metamodeling and PLC program validation through time Petri nets[C]//4th European Conference on Model Driven Architecture-Foundations and Applications.Berlin:Springer,2008:121-136.
[8] NGALAMOU L,MYERS L.Combining software methods for effective deployment of programmable logic controllers[J].International Journal of Computer Science and Network Security,2010,10(12):134-145.
[9] WIGHTKIN N,BUY U,DARABI H.Formal modeling of sequential function charts with time Petri nets[J].IEEE Transactions on Control Systems Technology,2011,19(2):455-464.
[10] MOKADEM H B,BERARD B,GOURCUFF V,et al.Verification of a timed multitask system with UPPAAL[J].IEEE Transactions on Automation Science and Engineering,2010,7(4):921-932.
[11] TSAI J,TENG C C.Constructing an abstract model for ladder diagram using Petri nets[J].Asian Journal of Control,2010,12(3):309-322.
[12] KRAMER B J,VAOLKER N.A highly dependable computing architecture for safety-critical control application[J].Real-Time Systems,1997,13(3):237-251.
[13] 陈钢,宋晓宇,顾明.COQ定理证明辅助PLC程序验证和分析[J].北京大学学报:自然科学版,2010,46(1):30-34.
[14] FERRANTE J,OTTENSTEIN K J,WARREN J D.The program dependence graph and its use in optimization[J].ACM Transactions on Programming Languages and Systems,1987,9(3):319-349.
[15] 赵营,严义.基于梯形图复杂依赖关系的分解研究[J].机电工程,2012,29(5):605-608.
相似文献/References:
[1]张家冰,苏溪泉,张宗欣.用PLC实现对板材锯石机的控制[J].华侨大学学报(自然科学版),1999,20(3):295.[doi:10.11830/ISSN.1000-5013.1999.03.0295]
Zhang Jiabing,Su Xiquan,Zhang Zongxin.Realizing the Control of Stone Plate Cutter by a Programmable Logical Controller[J].Journal of Huaqiao University(Natural Science),1999,20(2):295.[doi:10.11830/ISSN.1000-5013.1999.03.0295]
[2]吕俊白.PLC语句表向梯形图自动转换的实现方法[J].华侨大学学报(自然科学版),2005,26(3):313.[doi:10.3969/j.issn.1000-5013.2005.03.023]
Lu Junbai.Implementation Method for Automatically Translation of PLC Statement List into Ladder Chart[J].Journal of Huaqiao University(Natural Science),2005,26(2):313.[doi:10.3969/j.issn.1000-5013.2005.03.023]
[3]倪会娟,罗继亮.采用普通Petri网的自动化立体仓库系统的PLC程序设计[J].华侨大学学报(自然科学版),2014,35(2):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]
NI Hui-juan,LUO Ji-liang.PLC Program Design for Automated Storage and Retrieval Systems Based on Ordinary Petri Nets[J].Journal of Huaqiao University(Natural Science),2014,35(2):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]