Petri net-based specification, analysis and synthesis of logic controllers
Petri net-based specification, analysis and synthesis of logic controllers
复制标题
基于Petri网的逻辑控制器规范、分析和综合
DOI：
10.1109/isie.2000.930479
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
M. Węgrzyn
中科院分区：
文献类型：
--
作者：
A. Węgrzyn;M. Węgrzyn
逻辑控制程序通常通过绘制与机电设备和系统环境的接口来描述。在这种情况下，不能立即看出控制系统以令人满意的方式运行。工业工程师通常更喜欢一种形式的规范，如解释的Petri网、顺序功能图(SFC)、Grafcet或GrafChart。另一方面，一些流行的技术是非正式的，不提供验证设计的方法。本文给出了用Petri网描述的逻辑控制器的建模、分析和综合。此外，还说明了如何使用DESIGN/CPN系统来建模、测试和分析用有色解释的Petri网描述的逻辑控制器。该方法对于用现场可编程门阵列设计工业专用逻辑控制器(ASLC)具有重要的参考价值。
The logic control program is usually specified by drawing the Petri net in terms of interface with the electro-mechanical devices and the environment of the system. In such case it is not immediately evident that the control system behaves in a satisfactory way. Industrial engineers prefer frequently a form of specification, like interpreted Petri Net, sequential function chart (SFC), Grafcet or Grafchart. On the other hand, some popular techniques are informal and do not provide means to validate the design. In the paper, modelling, analysis and synthesis of logic controller described by Petri nets is presented. Additional, the use of design/CPN system for modelling, testing and analysis of logic controllers described by means of coloured, interpreted Petri nets is shown. The proposed methods are especially useful in designing of industrial application specific logic controller (ASLC) with FPGA.