Abstract
Batch control is characterized by procedural control that is realized according to operating procedures to accomplish tasks. However, operating procedure synthesis takes considerable time and effort as the complexity of a batch process increases. To solve the operating procedure synthesis problem, a modeling technique is needed to represent the concurrent dynamics of a batch process. This paper aims at developing a method to synthesize operating procedures and procedural controllers for batch processes. For this purpose, it first views a batch control system as a discrete event system and next uses hierarchical Petri nets to represent information about process, plant, and schedule. It then presents a method to synthesize operating procedures. It also discusses the verification of synthesized operating procedures and last presents a method to synthesize procedural controllers.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal of the Chinese Institute of Chemical Engineers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
