摘要
针对间歇式化工生产过程,根据执行机构网元件提出了其受控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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2012年第12期1896-1900,共5页
Journal of Shanghai Jiaotong University
基金
国家青年自然科学基金(60904018)
浙江省自然科学基金(LY12F02030)
福建省高等学校新世纪优秀人才支持计划(11FJRC01)
福建省高校杰出青年科研人才培育计划(JA10004)
中央高校基本科研业务费专项基金(JB-SJ1006)资助项目
关键词
离散事件系统
PETRI网
间歇式化工
顺序控制
监控
discrete event systems
Petri nets
batch chemical processes
sequential control
supervisory control
