Formal Representation of Meta-Operation of Chemical Plants

The synthesis of standard operating procedures (SOPs) of production and manufacturing plants is a complex process, which requires time and effort by process experts to ensure the completeness and accuracy of the target operating procedures. This research paper proposes a formal approach to structure and represent SOPs, which are used as a base to develop an automated operation management solution. Stimulated from the formal methods, and to overcome the complexity of plant operation, the concept of meta-operation is introduced as a set of generic operation libraries, which is used to simplify the definition of complex operation and to validate SOP. SOP formal language (SOPFL) is proposed to represent SOP as well as meta-operations in English-like formal statements, which includes vocabulary and rules. A SOPFL-based editor and parser are developed to automatically synthesize and validate the syntax and semantics of SOP for production plants. The proposed solution is used to synthesize SOPs and meta-operations of different case studies from batch and oil and gas plant processes.

[1]  Tetsuo Fuchino,et al.  Optimal Simulation-Based Operations Planning with Quantitative Safety Constraints , 1999 .

[2]  Robert Leonard Kirkwood,et al.  PIP--PROCESS INVENTION PROCEDURE: A PROTOTYPE EXPERT SYSTEM FOR SYNTHESIZING CHEMICAL PROCESS FLOWSHEETS , 1988 .

[3]  Karl-Erik Årzén.  Grafcet for intelligent supervisory control applications , 1994, Autom..

[4]  Yuji Naka,et al.  Model-based computer-aided design environment for operational design , 2004, Comput. Ind. Eng..

[5]  Kazuhiko Suzuki.  Utilization of Unified Modeling Language (UML) to Represent the Artifacts of the Plant Design Model , 2000 .

[6]  Isao Yamada,et al.  Development of batch process operation management platform , 2000 .

[7]  Luis Puigjaner,et al.  On-line fault diagnosis system support for reactive scheduling in multipurpose batch chemical plants , 2001 .

[8]  Karl-Erik Årzén,et al.  Grafchart for recipe-based batch control , 1998 .

[9]  Minseok Kim,et al.  Rule-based reactive rescheduling system for multi-purpose batch processes , 1997 .

[10]  George Stephanopoulos,et al.  Synthesis of operating procedures for complete chemical plants—III. Planning in the presence of qualitative, mixing constraints , 1990 .

[11]  Karl-Erik Årzén,et al.  Automating operating procedure synthesis for batch processes: Part I. Knowledge representation and planning framework , 1998 .

[12]  Moon Il,et al.  Synthesis of safe operating procedure for multi-purpose batch processes using SMV , 2000 .

[13]  Yuji Naka,et al.  Recipe formal definition language for operating procedures synthesis , 2004, Comput. Chem. Eng..

[14]  George Stephanopoulos,et al.  Synthesis of operating procedures for complete chemical plants—I. Hierarchical, structured modelling for nonlinear planning , 1988 .

[15]  Hua Sheng Li,et al.  A G2 based MDOOM testbed for concurrent process engineering , 1997 .

[16]  Yuji Naka,et al.  Automated solution for control recipe generation of chemical batch plants , 2005, Comput. Chem. Eng..