{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:40:59Z","timestamp":1777902059003,"version":"3.51.4"},"reference-count":37,"publisher":"SAGE Publications","issue":"8","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2003,8]]},"abstract":"<jats:p>This article presents a model conversion approach to developing a 3D discrete event system specification (DEVS)-based factory simulator, in which the target automated manufacturing systems (AMS) are modeled by employing a job-resource relation network (JR-net), and this input JR-net model is systematically converted to a DEVS model. For this purpose, the JR-net modeling framework has been extended further to handle 3D geometric information while providing a formal specification of the JR-net. Also, a hierarchical DEVS model architecture and a systematic conversion method for converting a JR-net model into a DEVS model are proposed. Based on the proposed approach, a 3D factory simulator has been developed in C++ with OpenGL and a DEVS engine. The proposed factory simulator may be used as a virtual prototyping tool for designing new AMS. Its validity is demonstrated by constructing a virtual factory of a special type of AMS called a flexible manufacturing system.<\/jats:p>","DOI":"10.1177\/0037549703040232","type":"journal-article","created":{"date-parts":[[2008,3,29]],"date-time":"2008-03-29T13:23:43Z","timestamp":1206797023000},"page":"440-461","source":"Crossref","is-referenced-by-count":10,"title":["A Formal Model Conversion Approach to Developing a DEVS-Based Factory Simulator"],"prefix":"10.1177","volume":"79","author":[{"given":"Byoung-Kyu","family":"Choi","sequence":"first","affiliation":[{"name":"VMS Lab, Department of Industrial Engineering, KAIST, 373-1,                        Guseong-Dong, Yuseong-Gu, Daejon, Republic of Korea,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bum-Chul","family":"Park","sequence":"additional","affiliation":[{"name":"VMS Lab Department of Industrial Engineering, KAIST, 373-1, Guseong-Dong,                        Yuseong-Gu, Daejon, Republic of Korea,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeong-Hyeon","family":"Park","sequence":"additional","affiliation":[{"name":"Division of Mechanical and Control Engineering, Sunmoon University,                        Tangjeong, Asan, Chungnam, Republic of Korea,"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2003,8,1]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00394502"},{"key":"atypb2","unstructured":"2 Viswanadham, N., and Y. Narahari. 1992. Performance modeling of automated manufacturing systems. Englewood Cliffs, NJ: Prentice Hall ."},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)62350-6"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00117-1"},{"key":"atypb5","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1063\/1.1388728"},{"key":"atypb6","unstructured":"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 ."},{"key":"atypb7","unstructured":"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 ."},{"key":"atypb8","unstructured":"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 ."},{"key":"atypb9","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.2000.899717"},{"key":"atypb10","unstructured":"10 Rohrer, M. W. 2000. AutoMod tutorial . In Proceedings of the 2000 Winter Simulation Conference, pp. 170-176 ."},{"key":"atypb11","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.1998.744982"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1016\/S0736-5845(99)00042-3"},{"key":"atypb13","doi-asserted-by":"crossref","unstructured":"13 Sly, D. 1998. Object-oriented factory layout in AutoCAD . In Proceedings of the 1998 Winter Simulation Conference, pp. 275-277 .","DOI":"10.1109\/WSC.1998.744963"},{"key":"atypb14","unstructured":"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."},{"key":"atypb15","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.2001.977401"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-8352(00)00009-7"},{"key":"atypb17","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1080\/095119297131002"},{"key":"atypb18","doi-asserted-by":"publisher","DOI":"10.1016\/S1569-190X(02)00100-4"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1109\/70.282537"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(94)90033-7"},{"key":"atypb21","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1080\/09511920151099107"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.34.10.1231"},{"key":"atypb23","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1080\/095119296131472"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1109\/3468.477862"},{"key":"atypb25","unstructured":"25 Zeigler, B. P., H. Praehofer, and T. G. Kim. 2000.Theory of modeling and simulation. New York: Academic Press ."},{"key":"atypb26","unstructured":"26 Kim, T. G. 1994. DEVSIM++ user\u2019s manual. Deajon: Department of Electrical Engineering, KAIST, Republic of Korea ."},{"key":"atypb27","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1080\/095119297131075"},{"key":"atypb28","unstructured":"28 Han, K. H. 1996. Job resource relation-net modeling for the simulation of automated manufacturing system. Ph.D. diss., KAIST, Republic of Korea."},{"key":"atypb29","unstructured":"29 Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. 1991. Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall ."},{"key":"atypb30","unstructured":"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 ."},{"key":"atypb31","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.2000.899714"},{"key":"atypb32","unstructured":"32 Pegden, C. D., R. E. Shannon, and R. P. Sadowski. 1995. Introduction to simulation using SIMAN. New York: McGraw-Hill ."},{"key":"atypb33","unstructured":"33 Pritsker, A. A. B. 1986. Introduction to simulation and SLAMII. New York: Halsted Press ."},{"key":"atypb34","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.2000.899712"},{"key":"atypb35","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1145\/268437.268613"},{"key":"atypb36","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1109\/WSC.2000.899722"},{"key":"atypb37","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1145\/268437.268593"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549703040232","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549703040232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:18:10Z","timestamp":1777634290000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549703040232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":37,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["10.1177\/0037549703040232"],"URL":"https:\/\/doi.org\/10.1177\/0037549703040232","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}