Modeling Manufacturing Processes with Disturbances - A New Method Based on Algebraic-Logical Meta-Models

The paper discusses modeling and control of discrete manufacturing processes (DMP) with disturbances of various types: machine failures, quality defects, unexpected additional orders etc. A novel formal modeling method is presented for DMP with disturbances. The method is based on formal description of DMP given by the algebraic logical meta model (ALMM). It is called two stage AL model transformation method (2SALMT method). Method application is shown herein for IT systems managing manufacturing on both operational and tactical levels. The paper also shows how 2SALMT method can be applied for modeling scheduling problems with disturbances such as machine failure.