尺寸的测量方法和不同的逻辑控制的PLC程序设计方法的复杂性

尺寸的测量方法和不同的逻辑控制的PLC程序设计方法的复杂性(中文2800字,英文1600字)　
卢卡斯•D.M. Tilbury
2003年6月26日收到:2003年10月8 /接受在线:3 /发表于2005年8月斯普林格出版社2005年伦敦有限
摘要：目前有各式各样的逻辑控制设计方法应用于工业的逻辑设计。这些方法包括梯图表、功能部件图;连续函数图表和流程图,但喜欢可验证性,学术界已开发更多的逻辑控制的设计方法,如模块化的有限状态机和实验室网。利用这些重要的程序可以证实和一些逻辑可以自动生成从一个部分的计划。本文的主要贡献是确定测量方法不同方法编写的程序,这样的表现会比较方法。
我们证明了这些方法的使用四个项目样本进行类似的功能在同一台机器上,写在四个逻辑控制设计方法:梯图表、实验室网、信号解释说明网、模块化的有限状态机。

关键词的逻辑设计方法的比较••PLC程序控制复杂性

Methods of measuring the size and complexity of PLC programs in different logic control design methodologies
                    M.R. Lucas • D.M. Tilbury [资料来源：http://www.doc163.com]
Received: 26 June 2003 / Accepted: 8 October 2003 / Published online: 3 August 2005 Springer-Verlag London Limited 2005

Abstract Currently there is a wide variety of logic control design methodologies used in industrial logic design. These methodologies include ladder diagrams, function block diagrams,sequential function charts, and flow charts, but driven by a desire for verifiability, academics are developing additional logic control design methodologies, such as modular finite state machines and Petri nets. Using these, important properties of programs can be verified and some logic can be generated automatically from a part plan. The main contribution of this paper is to define methods for measuring programs written in different methodologies, so that the performance of the methodologies can be compared.
We demonstrate these methods of measurement using four program samples that perform similar functions on the same machine, written in four logic control design methodologies: ladder diagrams, Petri nets, signal interpreted Petri nets and modular finite state machines. [来源：http://Doc163.com]