上海交通大学学报

上海交通大学学报（自然版） ›› 2012, Vol. 46 ›› Issue (12): 1896-1900.

• 自动化技术、计算机技术 • 上一篇    下一篇

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

罗继亮,陈雪琨，齐鹏飞,赵坡   

  1.  （华侨大学 信息科学与工程学院,  福建 厦门 361021）
  • 收稿日期:2012-06-02 出版日期:2012-12-29 发布日期:2012-12-29
  • 基金资助:

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

Sequential Controller Synthesis and Formal Models for Batch Chemical Processes

 LUO  Ji-Liang, CHEN  Xue-Kun, QI  Peng-Fei, ZHAO  Po   

  1. (College of Information Science and Engineering, Huaqiao University, Xiamen 361021, Fujian, China)  
  • Received:2012-06-02 Online:2012-12-29 Published:2012-12-29

摘要： 摘要： 
针对间歇式化工生产过程，根据执行机构网元件提出了其受控Petri网模型的设计方法，将工艺流程描述为变迁串的顺序控制目标，继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后，利用库所不变量方法设计监控库所，给出顺序Petri网监控器，实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词： 
离散事件系统； Petri网； 间歇式化工； 顺序控制； 监控
中图分类号：  TB 61； TK 31
文献标志码：  A    

Abstract: 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.

Key words: discrete event systems, Petri nets, batch chemical processes, sequential control, supervisory control