A Formal Model Conversion Approach to Developing a DEVS-Based Factory Simulator

SIMULATION

Volumn 79, Issue 8, 2003, Pages 440-461

  Choi, Byoung Kyu ^a   Park, Bum Chul ^a   Park, Jeong Hyeon ^b  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b SunMoon University   (South Korea)

Author keywords

DEVS; Factory simulator; JR net; virtual factory; virtual prototyping

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER PROGRAMMING LANGUAGES; SIMULATORS; SOFTWARE PROTOTYPING; VIRTUAL REALITY;

DISCRETE EVENT SYSTEMS; VIRTUAL FACTORY;

COMPUTER AIDED MANUFACTURING;

EID: 0346778658     PISSN: 00375497     EISSN: 17413133     Source Type: Journal    
DOI: 10.1177/0037549703040232     Document Type: Article

References (37)

1. Choi, B. K., K. H. Han, and T. Y. Park. 1996. Object-oriented graphical modeling of FMSs. International Journal of Flexible Manufacturing Systems 8: 159-182.
2. Viswanadham, N., and Y. Narahari. 1992. Performance modeling of automated manufacturing systems. Englewood Cliffs, NJ: Prentice Hall.
3. Iwata, K., M. Onosato, K. Teramoto, and S. Osaki. 1995. A modeling and simulation architecture for virtual manufacturing systems. CIRP 44 (1): 399-402.
4. Kilingstam, P., and P. Gullander. 1999. Overview of simulation tools for computer-aided production engineering. Computers in Industry 38: 173-186.
5. Choi, B. K., and S. C. Park. 2000. V-FMS architecture for FMS prototyping. In The Fourth International Conference on Computing Anticipatory Systems, August, Liege, Belgium, pp. 628-637.
6. Noh, S. D., K. I. Lee, and H. S. Han. 2002. Using virtual manufacturing technologies for continuous verification of products, processes and resources in the manufacturing preparation of automotive companies. In The 35th CIRP International Seminar on Manufacturing Systems, May, Seoul, Korea, pp. 245-252.
7. Song, T. G., J. Y. Lee, S. H. Kim, B. S. Park, and J. S. Yoon. 2002. A real-time 3D graphic simulator for monitoring the motion of remote operated device. In The 35th CIRP International Seminar on Manufacturing Systems, May, Seoul, Korea, pp. 527-533.
8. Hwang, M. H., and B. K. Choi. 2001. GK-DEVS: Geometric and kinematic DEVS formalism for simulation modeling of 3- dimensional multi-component systems. SIMULATION 18 (3): 159-173.
9. Harrell, C. R., and K. Tumay. 2000. Simulation modeling and optimization using ProModel. In Proceedings of the 2000 Winter Simulation Conference, pp. 197-202.
10. Rohrer, M. W. 2000. AutoMod tutorial. In Proceedings of the 2000 Winter Simulation Conference, pp. 170-176.
11. Donald, D. L. 1998. A tutorial on ergonomic and process modeling using QUEST and IGRIP. In Proceedings of the 1998 Winter Simulation Conference, pp. 297-302.
12. Li, Y. F., J. Ho, and N. Li. 2000. Development of a physically behaved robot work cell in virtual reality for task teaching. Robotics and Computer-Integrated Manufacturing 16: 91-101.
13. Sly, D. 1998. Object-oriented factory layout in AutoCAD. In Proceedings of the 1998 Winter Simulation Conference, pp. 275-277.
14. Park, Y. H., J. E. Matson, and D. M. Miller. 1998. Simulation and analysis of the MERCEDES-BENZ all activity vehicle (AAV) production facility. In Proceedings of the 1998 Winter Simulation Conference.
15. Kulvatunyou, B., and R. A. Wysk. 2001. Computer-aidedmanufacturing simulation (CAMS) generation for interactive analysis-concepts, techniques, and issues. In Proceeding of the 2001 Winter Simulation Conference, pp. 968-976.
16. Khan, M. R. R., S. C. Harlock, and G. A. V. Leaf. 1999. Computer simulation of production systems for woven fabric manufacture. Computers & Industrial Engineering 37: 745-756.
17. Patrick, K., T. Nikolay, and F. Christine. 1997. Object-oriented methodology for FMS modeling and simulation. International Journal of CIM 10 (6): 405-434.
18. Anglani, A., A. Grieco, M. Pacella, and T. Tolio. 2002. Object-oriented modeling and simulation of flexible manufacturing systems: A rule-based procedure. Simulation Modelling Practice and Theory 10: 209-234.
19. Lee, D. Y., and F. DiCesare. 1994. Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation 10 (2): 123-132.
20. Yim, D. S., and T. A. Barta. 1994. A Petri net based simulation tool for the design and analysis of flexible manufacturing systems. Journal of Manufacturing Systems 13 (4): 251-261.
21. Huang, Y., M. Jeng, and S. Chung. 2001. Design, analysis and implementation of a real-world manufacturing cell controller based on Petri nets. International Journal of CIM 14 (3): 304-318.
22. Sargent, R. G. 1988. Event graph modeling for simulation with an application to flexible manufacturing systems. Management Science 34 (10): 1231-1251.
23. Choi, B. K., J. H. Park, and T. E. Lee. 1996. Event graph modeling of automated sorting and buffering system. International Journal of CIM 9 (5): 369-380.
24. Zeigler, B. P., T. H. Cho, and J. W. Rozenblit. 1996. A knowledge-based simulation environment for hierarchical flexible manufacturing. IEEE Transactions on Systems, Man and Cybernetics 26 (1): 81-90.
25. Zeigler, B. P., H. Praehofer, and T. G. Kim. 2000.Theory of modeling and simulation. New York: Academic Press.
26. Kim, T. G. 1994. DEVSIM++ user's manual. Deajon: Department of Electrical Engineering, KAIST, Republic of Korea.
27. Park, T. Y., K. H. Han, and B. K. Choi. 1997. An object-oriented modeling framework for automated manufacturing system. International Journal of CIM 10 (5): 324-334.
28. Han, K. H. 1996. Job resource relation-net modeling for the simulation of automated manufacturing system. Ph.D. diss., KAIST, Republic of Korea.
29. Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. 1991. Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall.
30. Choi, B. K., B. C. Park, H. Y. Ryu, and J. H. Park. 2002. A virtual factory emulator for human-centered VMS. In The 35th CIRP International Seminar on Manufacturing Systems, May, Seoul, Korea, pp. 300-306.
31. Henriksen, J. O., and R. C. Crain. 2000. GPSS/H: A 23-year retrospective view. In Proceedings of the 2000 Winter Simulation Conference, pp. 177-182.
32. Pegden, C. D., R. E. Shannon, and R. P. Sadowski. 1995. Introduction to simulation using SIMAN. New York: McGraw-Hill.
33. Pritsker, A. A. B. 1986. Introduction to simulation and SLAMII. New York: Halsted Press.
34. Bapat, V., and N. Swets. 2000. The AREA product family: Enterprise modeling solutions. In Proceedings of the 2000 Winter Simulation Conference, pp. 163-169.
35. Markt, P. L., and M. H. Mayer. 1997. Witness simulation software a flexible suite of simulation tools. In Proceedings of the 1997 Winter Simulation Conference, pp. 711-717.
36. Heinicke, M. U., and A. Hickman. 2000. Eliminate bottlenecks with integrated analysis tools in eM-Plant. In Proceedings of the 2000 Winter Simulation Conference, pp. 229-231.
37. Kalasky, D. R., and G. A. Levasseur. 1997. Using SIMPLE++ for improved modeling efficiencies and extending model life cycles. In Proceeding of the 1997 Winter Simulation Conference, pp. 611-618.