Sequential Controller Synthesis and Formal Models for Batch Chemical Processes

Journal of Shanghai Jiaotong University ›› 2012, Vol. 46 ›› Issue (12): 1896-1900.

• Automation Technique, Computer Technology • Previous Articles Next Articles

Sequential Controller Synthesis and Formal Models for Batch Chemical Processes

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

(College of Information Science and Engineering, Huaqiao University, Xiamen 361021, Fujian, China)

Received:2012-06-02 Online:2012-12-29 Published:2012-12-29

Abstract

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

LUO Ji-Liang, CHEN Xue-Kun, QI Peng-Fei, ZHAO Po. Sequential Controller Synthesis and Formal Models for Batch Chemical Processes[J]. Journal of Shanghai Jiaotong University, 2012, 46(12): 1896-1900.

References

［1］Gu Tianlong, Bahri P A. A survey of Petri net applications in batch processes［J］. Computers in Industry, 2002,47(1):99111.
［2］Ernesto LópezMellado, Norma VillanuevaParedes, Hugo AlmeydaCanepa. Modelling of batch production systems using Petri nets with dynamic tokens［J］.

Mathematics and Computers in Simulation, 2005,67(6):541558.
［3］Wang YiFeng, Chou HungHsiang, Chang ChueiTin. Generation of batch operating procedures for multiple materialtransfer tasks with Petri nets［J］.

Computers & Chemical Engineering, 2005,29(8): 18221836.
［4］Ferrarini L, Piroddi L. Modeling and control of fluid transportation operations in production plants with Petri nets［J］. IEEE Transactions on Control Systems Technology, 2008,16:10901098.
［5］Tittus M，Lennartson B. Hierarchical supervisory control for batch processes［J］. IEEE Transactions on Control Systems Technology, 1999,7:542554.
［6］Falkman Petter, Lennartson Bengt, Tittus Michael. Specification of a batch plant using process algebra and Petri nets［J］. Control Engineering Practice, 2009,48:10971101.
［7］Luo Jiliang, Shao Hui, Kenzo Nonami， et al. Maximally permissive supervisor synthesis based on a new constraint transformation method［J］. Automatica, 2012,48(6):10971101.
［8］Luo Jiliang, Kenzuo Nonami. Approach for transforming linear constraints on Petri nets［J］. IEEE Transactions on Automatic Control, 2011,56(12): 27452759.
［9］Luo Jiliang, Wu Weimin, Su Hongye, et al. Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petrinets［J］. IEEE Transactions on Systems Man and Cybernetics Part A: Systems and Humans, 2009,39:12371246.
［10］Wang S, Wang C, Zhou M, et al. A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets［J］. IEEE Transactions on Systems Man and Cybernetics Part A: Systems and Humans, 2012,42(1):226237.
［11］邹慧莉，金福江，崔华军，等. 基于Petri网的间歇式化工生产过程建模与调度监控器设计［J］. 福州大学学报，2008，36(6)：831835.
ZOU Huili, JIN Fujiang, CUI Huajun, et al. Modeling and schedule supervisor synthesis for batch chemical processes based on Petri nets［J］. Journal of Fuzhou University, 2008,36(6):831835.

[1]	LI Shaoyong* (李绍勇), WU Zongli (吴宗礼), LI Hailin (李海林), WEI Xianhong (魏先宏), CAI Ying (蔡颖), HOU Caiqin (厚彩琴). Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets [J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(2): 190-195.
[2]	DONG Zhen-Hua-a, b , DONG Xiao-Ju-a, b . Representing Bounded Petri Nets by Process Calculi [J]. Journal of Shanghai Jiaotong University, 2011, 45(07): 980-984.

Sequential Controller Synthesis and Formal Models for Batch Chemical Processes

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 2

Recommended Articles

Metrics

Comments