References
- Choi BK, Kim BH. New trends in CIM: virtual manufacturing systems for next generation manufacturing. Current Advances in Mechanical Design and Production VII, Proceedings of the Seventh Cairo University International MDP Conference; 2000 Feb 15-17; Cairo, Egypt; p. 425-436.
- Groover MP. Fundamentals of modern manufacturing. 5th ed. Wiley; 2006. 1128 p.
- Park HT, Kwak JG, Wang GN, Park SC. Plant model generation for PLC simulation. International Journal of Production Research. 2010; 48(5): 1517-1529. https://doi.org/10.1080/00207540802577961
- Anglani A, Grieco A, Pacella M, Tolio T. Object-oriented modeling and simulation of flexible manufacturing system: A rulebased procedure. Simulation Modeling Practice and Theory. 2002; 10(3-4): 209-234. https://doi.org/10.1016/S1569-190X(02)00100-4
- Klingstam P, Gullander P. Overview of simulation tools for computer-aided production engineering. Computers in Industry. 1999; 38(2): 173-186. https://doi.org/10.1016/S0166-3615(98)00117-1
- Ye L, Lin F. Virtual system simulation - A step beyond the conventional simulation. In: Proceedings of the 22nd International Conference on Computer and Industrial Engineering; 1997 Dec 20-22; Cairo, Egypt; p. 304-306.
- Park SC, Park CM, Wang GN. A PLC programming environment based on a virtual plant. International Journal of Advanced Manufacturing Technology. 2008; 39(11-12): 1262-1270. https://doi.org/10.1007/s00170-007-1306-3
- Barancikova G, Senesi N, Brunetti G, Dougall DJ. Application and benefits of real-time I/O simulation for PLC and PC control system. ISA Transaction. 1998; 36(4): 305-311.
- Manesis S, Akantziotis K. Automated synthesis of ladder automation circuits based on state-diagrams. Advances in Engineering Software. 2005; 36(4): 225-233. https://doi.org/10.1016/j.advengsoft.2004.11.002
- Park SC. A methodology for creating a virtual FMS model. Computers in industry. 2005; 56(7): 734-746. https://doi.org/10.1016/j.compind.2005.04.002
- Choi SS, Jo HJ, Lee JY, Noh SD. A rule-based system for the automated creation of VR data for virtual plant review. Concurrent Engineering: Research and Applications. 2010; 18(3): 165-183. https://doi.org/10.1177/1063293X10379763
- Hibnio H, Inukai T, Fukuda Y. Efficient manufacturing system implementation based on combination between real and virtual factory. International Journal of Production Research. 2006; 44(18): 3897-3915. https://doi.org/10.1080/00207540600632224
- Huang H, Yeh C. Development of a virtual factory emulator based on three-tire architecture. In: Proceedings of IEEE International Conference on Robotics and Automation; 1999 May 10-15; Detroit, MI; p. 2434-2439.
- Iwata K, Onosato M, Teramoto K, Osaki S. A modeling and simulation architecture for virtual manufacturing systems. CIRP. 1995; 44(1): 399-402. https://doi.org/10.1016/S0007-8506(07)62350-6
- Lin M, Fu L, Shih T. Virtual factory - A novel testbed for an advanced flexible manufacturing system. In: IEEE International Conference on Robotics and Automation; 1999 May 10-15; Detroit MI; p. 2422-2427.
- Onosato M, Iwata K. Development of a virtual manufacturing system by integrating product models and factory models. CIRP. 1993; 42(1): 475-478. https://doi.org/10.1016/S0007-8506(07)62489-5
- Xu Z, Zhao Z, Baines RW. Constructing virtual environment for manufacturing simulation. International Journal of Production Research. 2000; 38(17): 4171-4191. https://doi.org/10.1080/00207540050205000
- Auinger F, Vorderwinkler M, Buchtela G. Interface driven domain-independent modeling architecture for softcommissioning and reality in the loop. In: Proceedings of the 1999 Winter Simulation Conference; 1999 Dec 5-8; Phoenix, AZ; p. 798-805.
- Drath R, Weber P, Mauser N. An evolutionary approach for the industrial introduction of virtual commissioning. In: Proceedings of IEEE International Conference on Emerging Technologies and Factory Automation; 2008 Sep 15-18; Hamburg, Germany; p. 5-8.
- Hoffman P, Maksoud TMA, Schuman R, Premier GC. Virtual commissioning of manufacturing systems - A review and new approaches for simplification. In: Proceedings of the 24th European Conference on Modeling and Simulation; 2010 Jun 1-4; Kuala Lumpur, Malaysia; p. 407-411.
- Koo LJ, Park CM, Lee CH, Park SC, Wang GN. Simulation framework for the verification of PLC programs in automobile industries. International Journal of Production Research. 2011; 49(16): 4925-4943. https://doi.org/10.1080/00207543.2010.492404
- Kovacs GL, Kopacsi S, Nacsa J, Haidegger G, Groumpos P. Application of software reuse and object-oriented methodologies for the modeling and control of manufacturing systems. Computers in Industry. 1999; 39(3): 177-189. https://doi.org/10.1016/S0166-3615(98)00134-1
- Lucas MR, Tilbury DM. Methods of measuring the size and complexity of PLC programs in different logic control design methodologies. International Journal of Advanced Manufacturing Technology. 2005; 26(5-6): 436-447. https://doi.org/10.1007/s00170-003-1996-0
- Pavlovic O, Pinger R, Kollmann M. Automated formal verification of PLC programs written in IL. In: Conference on Automated Deduction (CADE); 2007 Jul 17-20; Bremen, Germany; p. 152-163.
- Reinhart G, Wunsch, G. Economic application of virtual commissioning to mechatronic production systems. Production Engineering Research and Development. 2007; 1(4): 371-379. https://doi.org/10.1007/s11740-007-0066-0
- Bauer N, Engell S, Huuck R, Lohmann S, Lukoschus B, Manuel R, Olaf S. Verification of PLC programs given as sequential function charts. Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science. 2004; 3147: 517-540.
- Chuang CP, Lan X, Chen JC. A systematic procedure for designing state combination circuits in PLCs. Journal of Industrial Technology. 1999; 15(3): 2-5.
- Han KH, Choi SH, Park JW, Lee JW. Rapid virtual prototyping and operational monitoring of PLC-based control system. International Journal of Mathematics and Computers in Simulation. 2011; 5(3): 198-205.
- Jang J, Koo PH, Nof SY. Application of design and control tools in a multirobot cell. Computers and Industrial Engineering. 1997; 32(1): 89-100. https://doi.org/10.1016/S0360-8352(96)00198-2
- Ko MS, Park SC, Chang MH. Control level simulation of an AS/RS in the automotive industry. The International Journal of Concurrent Engineering: Research and Applications. 2013; 21(1): 13-25. https://doi.org/10.1177/1063293X12474830
- Rullan A. Programmable logic controllers versus personal computers for process control. Computers and Industrial Engineering. 1997; 33(1-2): 421-424. https://doi.org/10.1016/S0360-8352(97)00127-7
- Ko MS, Ahn E, Park SC. A concurrent design methodology of a production system for virtual commissioning. The International Journal of Concurrent Engineering: Research and Applications. 2013; 21(2): 129-140. https://doi.org/10.1177/1063293X13476070
- Kim TG. DEVSIM++ User's Manual. Department of Electrical Engineering. KAIST, Korea: 1994.
- Zeigler BP. Multifaceted modeling and discrete event simulation. New York (NY): Academic Press Inc.; 1984. 372 p.
- Kang Y, Rong Y, Yang JA. Geometric and kinetic model based computer-aided fixture design verification. Journal of Computing and Information Science in Engineering. 2003; 3(3): 187-199. https://doi.org/10.1115/1.1607352
- Chou YC, Chandru V, Barash MM. A mathematical approach to automatic configuration of machining fixtures: Analysis and synthesis. Journal of Manufacturing Science and Engineering. 1989; 111(4): 229-306.
- Choubey AM, Prakash, Chan FTS, Riwari MK. Solving a fixture configuration design problem using genetic algorithm with learning automata approach. International Journal of Production Research. 2005; 43(22): 4721-4743. https://doi.org/10.1080/00207540500161142
- Mervyn F, Kumar AS, Nee AYC. Automated synthesis of modular fixture design using and evolutionary search algorithm. International Journal of Production Research. 2005; 43(23): 5047-5070. https://doi.org/10.1080/00207540500160904
- Mervyn F, Kumar AS, Nee AYC. Fixture design information support for integrated design and manufacturing. International Journal of Production Research. 2006; 44(11): 2205-2219. https://doi.org/10.1080/00207540500465303
- Pehlivan S, Summers JD. A review of computer-aided fixture design with respect to information support requirements. International Journal of Production Research. 2008; 46(4): 929-947. https://doi.org/10.1080/00207540600865386
- Chang MH, Ko MS, Park SC. Fixture modeling for an automotive assembly line. International Journal of Production Research. 2011; 49(15): 4593-4604. https://doi.org/10.1080/00207543.2010.506893
- Asada H, By A. Kinematic analysis of workpart fixturing for flexible assembly with automatically reconfigurable fixtures. IEEE Journal of Robotics and Automation. 1985; 1(1): 86-94. https://doi.org/10.1109/JRA.1985.1087007
- Trappey AC, Liu CK. An automatic workholding verification system. Robotics and Computer-Intergrated Manufacturing. 1992; 9(4-5): 321-326.
- Alexandre D, Gerd B, Kim GL, Wang Y. A tool architecture for the next generation of UPPAAL. In: Proceeding of Formal Methods at the Crossroads; 2003 Mar 18-20; Lisbon, Portugal.
- David R, Alla H. Petri nets for modeling of dynamics systems. Automatica. 1994; 30(2): 175-202. https://doi.org/10.1016/0005-1098(94)90024-8
- Gourcuff V, De Smet O, Faure J. Efficient representation for formal verification of PLC programs. In: Proceedings of the 8th International Workshop on Discrete Event Systems; 2006 July 10-12; Ann Arbor, MI; p. 182-187.
- Kim GL, Paul P, Wang Y. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer. 1997; 1(1-2): 134-152. https://doi.org/10.1007/s100090050010
- Tapken J. Interactive and compilative simulation of PLCPLCautomata. Simuation in Industry, ESS'97 SCS; 1997: p. 552-556.
- Twiss E, Zhou MC. Design of industrial automated system via relay ladder logic programming and Petri Nets. IEEE Transactions on - Systems, Man, and Cybernetics, Part C: Applications and Reviews. 1998; 28(1): 137-150.
- Uzam M, Jones AH. Discrete event control system design using automation Petri Nets and their ladder diagram implementation. International Journal of Advanced Manufacturing Systems. 1998; 14(10): 716-728. https://doi.org/10.1007/BF01438224
- Lee JS, Hsu PL. A PLC-based design for the sequence controller in discrete event systems. In: Proceedings of the 2000 IEEE International Conference on Control Applications; 2000 Sep 25-27; Anchorage, AK; p. 929-934.
- Fray G. Automatic implementation of Petri net based control algorithms on PLCs. In: Proceedings of the American control conference ACC 2000; 2000 Jun 28-30; Chicago, IL; p.2819-2823.
- Jafari MA, Boucher TO. A rule-based system for generating a ladder logic control program from a high level system model. Journal of Intelligent Manufacturing Systems. 1994; 5(2):103-120. https://doi.org/10.1007/BF00572403
- Richardsson J, Fabian M. Automatic generation of PLC program for control of flexible manufacturing cells. In: Proceedings of the IEEE Conference merging Technologies and Factory Automation; 2003 Sep 16-19; Lisbon, Portugal; p. 337-344.
- Sacha K. Automatic Code Generation for PLC Controllers. Computer Safety, Reliability, and Security Lecture Notes in Computer Science. 2005; 3688: 303-316.
- Estevez E, Marcos M, Orive D. Automatic generation of PLC automation projects from component-based models. The International Journal of Advanced Manufacturing Technology. 2007; 35(5-6): 527-540. https://doi.org/10.1007/s00170-007-1127-4
- Park SC, Ko MS, Chang M. A reverse engineering approach to generate a virtual plant for PLC simulation. International Journal of Advanced Manufacturing Technology. 2013; 69(9-12): 2459-2469. https://doi.org/10.1007/s00170-013-5209-1
- Ko M, Park SC, Choi JJ, Chang M. New modeling formalism for control programs of flexible manufacturing systems. International Journal of Production Research. 2013; 51(6): 1668-1679. https://doi.org/10.1080/00207543.2012.693964
Cited by
- Backward capacity-filtering for electronics Fabs vol.27, pp.11, 2016, https://doi.org/10.1080/09537287.2016.1164349
- Towards a methodology to build virtual reality manufacturing systems based on free open software technologies vol.11, pp.3, 2017, https://doi.org/10.1007/s12008-016-0311-x
- Interactive simulation-based-training tools for manufacturing systems operators: an industrial case study vol.11, pp.4, 2017, https://doi.org/10.1007/s12008-016-0367-7
- Development of a transportability evaluation system using swept path analysis and multi-body dynamic simulation vol.31, pp.11, 2017, https://doi.org/10.1007/s12206-017-1030-3
- Virtual fusion: a hybrid environment for improved commissioning in manufacturing systems vol.55, pp.21, 2017, https://doi.org/10.1080/00207543.2017.1334974
- Ensemble Visualization of Bottlenecks in Planar Flow Networks vol.869, pp.1662-7482, 2017, https://doi.org/10.4028/www.scientific.net/AMM.869.234
- User-assisted integrated method for controlling level of detail of large-scale B-rep assembly models vol.31, pp.9, 2018, https://doi.org/10.1080/0951192X.2018.1448114