A virtual plant modeller (VPMOD) for batch-chemical processes

This paper presents a virtual plant modeller (VPMOD), which formally characterizes and integrates chemical product designs, batch-chemical equipment (plants), the real-time scheduling of chemical batches, and the control of chemical transport through the plant. These models provide a framework for agile batch-chemical manufacturing that has the ability to reroute and control chemical product flow automatically in a flexible plant subject to unexpected events, such as changes in demand patterns and equipment failure. A formal logic model is generated to control the actual system events, which are non-deterministic. A simulation environment in VPMOD is used to validate schedules and control logic based on plant models supplied by industry. The formal models have been implemented in an object-oriented language.

[1]  L. B. Evans,et al.  Batch process management , 1990 .

[2]  K. Sacha.  Real-time specification using Petri nets , 1993, Microprocess. Microprogramming.

[3]  D. Rippin.  Design and operation of multiproduct and multipurpose batch chemical plants. — An analysis of problem structure , 1983 .

[4]  R. Sargent,et al.  A general algorithm for short-term scheduling of batch operations */I , 1993 .

[5]  J. McGehee,et al.  The MMST computer-integrated manufacturing system framework , 1994 .

[6]  Shimon Y. Nof,et al.  Integration of simulation and emulation with graphical design for the development of cell control programs , 1995 .

[7]  C. M. Harmonosky,et al.  Real-time scheduling in computer integrated manufacturing: a review of recent research , 1991 .

[8]  Hyunbo Cho,et al.  Enabling technologies of agile manufacturing and its related activities in Korea , 1996 .

[9]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[10]  Jay M. Tenenbaum,et al.  MKS: A conceptually centralized knowledge service for distributed CIM environments , 1991, J. Intell. Manuf..

[11]  Chell A. Roberts,et al.  Application of graphical specification methodologies to manufacturing control logic development: A classification and comparison , 1998, Int. J. Comput. Integr. Manuf..

[12]  Masaaki Muraki,et al.  An extended dispatching rule approach in an on-line scheduling framework for batch process management , 1996 .

[13]  Dipak Chaudhuri,et al.  Dynamic scheduling—a survey of research , 1993 .

[14]  David A. Koonce,et al.  Model-based manufacturing integration: a paradigm for virtual manufacturing systems engineering , 1994 .

[15]  George Stephanopoulos,et al.  Artificial intelligence in process engineering—current state and future trends , 1990 .

[16]  Maged Dessouky,et al.  Scheduling multi-purpose batch plants with junction constraints , 1996 .

[17]  J. Hofman.  Agile manufacturing in the process industries , 1993 .

[18]  Jeffrey C. Kantor,et al.  Scheduling of a multipurpose batch plant using a graphically derived mixed-integer linear program model , 1991 .

[19]  R. Roy,et al.  Short term scheduling and control in the batch process industry using hybrid knowledge based simulation , 1996 .

[20]  Chell A. Roberts,et al.  Object oriented simulation tools necessary for a flexible batch process management architecture , 1991, 1991 Winter Simulation Conference Proceedings..

[21]  Upendra Dave,et al.  Heuristic Scheduling Systems , 1993 .

[22]  Wolfgang A. Halang,et al.  Achieving high integrity of process control software by graphical design and formal verification , 1992, Softw. Eng. J..

[23]  Chell Roberts,et al.  An object-oriented simulation architecture with real-time capabilities , 1995 .

[24]  John D. Reid,et al.  Extendible simulation software for dynamic systems , 1992, Simul..