References
- 구락조, 여성주, 이강구, 홍상현, 박창목, 박상철, 왕지남, "PLC 코드 작성을 위한 공정 분석 및 적용 방법", IE Interfaces, Vol. 21, No. 3, pp. 294-301, 2008
- Calvo, I., Marcos, M., Orive, D. and Sarachaga, I., "Using Object-Oriented Technologies in Factory Automation", Proceedings of 2002 IECON Conference, Sevilla, Spain. pp. 2892-2897, 2002
- Young, K. W., Piggin, R. and Rachitrangsan, P., "An Object-Oriented Approach to an Agile Manufacturing Control System Design", International Journal of Advanced Manufacturing Technology, Vol. 17, No. 11, pp. 850-859, 2001 https://doi.org/10.1007/s001700170112
- Bruccoleri, M. and Diega, S. N., "An Object-oriented Approach for Flexible Manufacturing Control Systems Analysis and Design Using the Unified Modeling Language", International Journal of Flexible Manufacturing System, Vol. 15, No. 3, pp. 195-216, 2003 https://doi.org/10.1023/A:1026314925956
- Spath, D. and Osmers, U., "Virtual Reality- an Approach to Improve the Generation of Fault Free Software for Programmable Logic Controllers", Proceedings of IEEE International Conference on Engineering of Complex Computer Systems, Montreal, Canada, pp. 43-46, 1996
- Baresi, L., Mauri, M., Monti, A. and Pezze, M., "PLCTools: Design, Formal Validation, and Code Generation for Programmable Controllers", Proceedings of 2000 IEEE Conference on Systems, Man and Cybernetics, Nashville, USA, 2000
- Han, K. H. and Park, J. W., "Development of Object-Oriented Modeling Tool for the Design of Industrial Control Logic", Proceedings of the 5th International Conference on Software Engineering Research, Management and Applications (SERA 2007), pp. 353- 358, Busan, Korea, August 20-22, 2007
- Peng, S. S. and Zhou, M. C., "Ladder Diagram and Petri Net Based Discrete Event Control Design Methods", IEEE Transactions on Systems, Man and Cybernetics-Part C, Vol. 34, No. 4, pp. 523-531, 2004 https://doi.org/10.1109/TSMCC.2004.829286
- Lee, G. B., Zandong, H. and Lee, J. S., "Automatic Generation of Ladder Diagram with Control Petrinet", Journal of Intelligent Manufacturing, Vol. 15, No. 2, pp. 245-252, 2004 https://doi.org/10.1023/B:JIMS.0000018036.84607.37
- Frey, G. and Minas, M., "Internet-Based Development of Logic Controllers Using Signal Interpreted Petrinets and IEC 61131", Proceedings of the SCI 2001, Orlando, FL, USA. pp. 297-302, 2001
- Taholakian, A. and Hales, W. M. M., "PN <-> PLC: a Methodology for Designing, Simulating and Coding PLC Based Control Systems Using Petri Nets", International Journal of Production Research, Vol. 35, No. 6, pp. 1743-1762, 1997 https://doi.org/10.1080/002075497195245
- Manesis, S. and Akantziotis, K., "Automated Synthesis of Ladder Automation Circuits Based on State Diagrams", Advances in Engineering Software, Vol. 36, No. 4, pp. 225-233, 2005 https://doi.org/10.1016/j.advengsoft.2004.11.002
- Sacha, K., Automatic Code Generation for PLC Controllers. LNCS 3688, pp. 303-316, 2005
- Liu, J. and Darabi, H., "Ladder Logic Implementation of Ramadge-Wonham Supervisory Controller", Proceedings of Sixth International Workshop on Discrete Event Systems. pp. 383-389, 2002
- 박형태, 왕지남, 박상철, "DEVS 모델로부터 PLC 코드 생성을 위한 방법론", 2008 한국 CAD/CAM 학회 학술발표회 논문집-Digital Manufacturimg III, pp. 246-252, 2008
- Jack, H., Automating Manufacturing Systems with PLCs. http://clay more.engineer.gvsu.edu/~jackh/books.html, 2007
- Hajarnavis, V. and Young, K., "A Comparison of Sequential Function Charts and Object Modeling with PLC Programming", Proceedings of 2005 American Control Conference. pp. 2034-2039, 2005
- PLCopen. XML Formats for IEC 61131-3, http://www.plcopen.org, 2005
- LS Industrial Systems, GMWIN V4 User Manual, LS Industrial Systems, Korea, 2006