间歇式化工形式化建模与顺序控制器设计  

Sequential Controller Synthesis and Formal Models for Batch Chemical Processes

作　　者：罗继亮[1] 陈雪琨[1] 齐鹏飞[1] 赵坡[1] 

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021

出　　处：《上海交通大学学报》2012年第12期1896-1900,共5页Journal of Shanghai Jiaotong University

基　　金：国家青年自然科学基金(60904018);浙江省自然科学基金(LY12F02030);福建省高等学校新世纪优秀人才支持计划(11FJRC01);福建省高校杰出青年科研人才培育计划(JA10004);中央高校基本科研业务费专项基金(JB-SJ1006)资助项目

摘　　要：针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.A method was proposed to design the Petri-net model for a batch chemical system based on the actuator-element net.A process flow was depicted as a sequential control specification that is in the form of a transition sequence.Further,a method was proposed to model this sequential control specification as linear constraints on Petri nets.By the place invariant method,a monitor place was designed for each linear constraints,and consequently,the sequential Petri-net supervisor was obtained.By this method,the closed-loop control system for a complexity chemical process can be modeled,analyzed and perfected based on formal methods.

关 键 词：离散事件系统 PETRI网 间歇式化工 顺序控制 监控 

分 类 号：TB61[一般工业技术—制冷工程] TK31[动力工程及工程热物理—热能工程]