基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .

Analysis and design of reconfigurable logic controllers based on signal interpreted Petri nets

A signal interpreted Petri nets (SIPN) based method for design and analysis of t he reconfigurable logic controller (RLC) is presented to meet the needs of recon figurable manufacturing systems (RMS). Hierarchy, modularity, and interface tech nology are used to construct an open architecture for the RLC. An analysi s method combini ng reachability graphs method and reduction technique is established to formally verify SIPN models following the designed steps. The transparency metrics are e mployed to evaluate the validity of models and the principle for reconfigurabili ty a nalysis of the RLC is given. Subsequently, the proposed method is applied to a case study on logic control for a reconfigurable assembly line. The results s how that the designed RLC is form-correct, valid, and reconfigurable. Finally, a software platform for design, analysis, simulation, code generation of RLC, an d logic control execution is proposed. CORBA (common object request broker architecture) component model specification is used to develop the software.