This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic
December 2009 (vol. 21 no. 12)
pp. 1803-1806
Wang Zhenwei, University of Electronic Science and Technology of China, Chengdu
Li Hui, University of Electronic Science and Technology of China, Chengdu
Part machining is a discrete manufacturing process. In order to evaluate the manufacturing process, an intelligent modeling method based on the first-order predicate logic is proposed. First, the basic predicate formula is defined according to the machining method, and the predicate and variables are illustrated in detail. Thus, the process representation is completed. Second, to construct the process model, the modeling element is put forward, which includes three nodes. Components of modeling element are, respectively, discussed, as well as the mapping relationship between modeling element and predicate. After the definition of modeling predicate formula, five basic inference rules are established. Consequently, the manufacturing process model is constructed. Third, on the basis of the process model, the process simulation is carried out to evaluate the manufacturing performances, such as the production efficiency, the utilization rate of machining equipment, the production bottleneck, etc. Finally, a case study is conducted to explain this modeling method.

[1] E. López-Mellado, “Analysis of Discrete Event Systems by Simulation of Timed Petri Net Models,” Math. and Computers in Simulation, vol. 61, no. 1, pp. 53-59, 2002.
[2] L. Jinliang and W. Zhiyong, “Flexible Process Planning Based on Petri Net,” J. Yanshan Univ., vol. 27, no. 1, pp. 71-74, 2003.
[3] W. Zhong, G. Lei, and S. Shu-dong, “Petri-Net-Based Cost Optimization for Alternative Process Planning,” Mechanical Science and Technology, vol. 19, no. 5, pp. 767-769, 2000.
[4] K. Santarek and I.M. Buseif, “Modeling and Design of Flexible Manufacturing Systems Using SADT and Petri Nets Tools,” J. Materials Processing Technology, vol. 76, pp. 212-218, 1998.
[5] A. van Rensburg and N. Zwemstra, “Implementing IDEF Technique as Simulation Modeling Specifications,” Computers and Industrial Eng., vol. 29, no. 4, pp. 467-471, 1995.
[6] C.-H. Kim, R.H. Weston, A. Hodgson, and K.-H. Lee, “The Complementary Use of IDEF and UML Modelling Approaches,” Computers in Industry, vol. 50, pp. 35-56, 2003.
[7] J. Zhang, J. Gu, P. Li, and Z. Duan, “Object-Oriented Modeling of Control System for Agile Manufacturing Cells,” Int'l J. Production Economics, vol. 62, pp. 145-153, 1999.
[8] A. Anglani, A. Grieco, M. Pacella, and T. Tolio, “Object-Oriented Modeling and Simulation of Flexible Manufacturing Systems: A Rule-Based Procedure,” Simulation Modeling Practice and Theory, vol. 10, pp. 209-234, 2002.
[9] H. Jahan-Shahi, E. Shayan, and S. Masood, “Cost/Time Estimation in Flat Plate Processing Using Fuzzy Modeling,” Computers and Industrial Eng., vol. 42, pp. 555-566, 2002.

Index Terms:
Discrete process, intelligent modeling, predicate logic, performance simulation.
Citation:
Wang Zhenwei, Li Hui, "Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic," IEEE Transactions on Knowledge and Data Engineering, vol. 21, no. 12, pp. 1803-1806, Dec. 2009, doi:10.1109/TKDE.2009.70
Usage of this product signifies your acceptance of the Terms of Use.