Colored ACD and its application

Simulation Modelling Practice and Theory - Tập 63 - Trang 133-148 - 2016
Hyeonsik Kim1, Byoung-Kyu Choi1
1Department of Industrial and Systems Engineering, KAIST, 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea

Tài liệu tham khảo

Choi, 2013 Savage, 2005, On the Generality of event-graph models, INFORMS J. Comput., 17, 3, 10.1287/ijoc.1030.0053 Cassandras, 2010 Hollocks, 2008, Intelligence, innovation and integrity – KD Tocher and the dawn of simulation, J. Simul., 2, 128, 10.1057/jos.2008.15 Kang, 2011, The extended activity cycle diagram and its generality, Simul. Model. Pract. Theory, 19, 785, 10.1016/j.simpat.2010.11.004 Choi, 2013, Parameterized ACD and its application, ACM Trans. Model. Comput. Simul., 23, 1, 10.1145/2501593 Kim, 2015, 340 Choi, 2014, Parameterized ACD modeling of flexible manufacturing systems, IEEE Trans. Autom. Sci. Eng., 11, 637, 10.1109/TASE.2013.2296570 Choi, 2014, Parameterized modeling of outpatient departments in university hospitals, 273 Choi, 1995, Gantt chart based MES for die and mold manufacturing, 105 Park, 2008, Simulation based Planning and Scheduling System for TFT-LCD Fab, 1262 Choi, 2015, Simulation-based ‘Smart’ operation management system for semiconductor manufacturing, 82 Wahle, 2011, A cellular automaton traffic flow model for online simulation of traffic, Parallel Comput., 27, 719, 10.1016/S0167-8191(00)00085-5 Hu, 2011, Dynamic data driven simulation, SCS M&S Mag., n1, 16 Bohlmann, 2013, Online simulation based decision support system for resource failure management in multi-site production environments, 1 Bergmann, 2011, Initialization of simulation models using CMSD, 2228 Martínez, 2015, A hybrid approach for the initialization of tracking simulation systems Peterson, 1981 Jensen, 2015, Colored petri nets: a graphical language for formal modeling and validation of concurrent systems, Commun. ACM, 58, 61, 10.1145/2663340 Harel, 1987, Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 231, 10.1016/0167-6423(87)90035-9 Roh, 2007, Modelling a port logistics process using the structured analysis and design technique, Int. J. Logist. Res. Appl., 10, 283, 10.1080/13675560701478240 Sargent, 2013, Verification and validation of simulation models, J. Simul., 7, 12, 10.1057/jos.2012.20