{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T08:10:18Z","timestamp":1739088618399,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012082"},{"type":"electronic","value":"9783642012099"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01209-9_4","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:58:23Z","timestamp":1241456303000},"page":"33-45","source":"Crossref","is-referenced-by-count":3,"title":["Object-Oriented Ladder Logic Development Framework Based on the Unified Modeling Language"],"prefix":"10.1007","author":[{"given":"Kwan Hee","family":"Han","sequence":"first","affiliation":[]},{"given":"Jun Woo","family":"Park","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.1142\/3376","volume-title":"Modeling, simulation and control of flexible manufacturing systems","author":"M.C. Zhou","year":"1999","unstructured":"Zhou, M.C., Venkatesh, K.: Modeling, simulation and control of flexible manufacturing systems. World Scientific, Singapore (1999)"},{"key":"4_CR2","unstructured":"Lee, S., Ang, M.A., Lee, J.: Automatic generation of logic control. Ford Motor Company (2006)"},{"issue":"8","key":"4_CR3","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/S0967-0661(99)00074-X","volume":"7","author":"C. Maffezzoni","year":"1999","unstructured":"Maffezzoni, C., Ferrarini, L., Carpanzano, E.: Object-oriented models for advanced automation engineering. Control Engineering Practice\u00a07(8), 957\u2013968 (1999)","journal-title":"Control Engineering Practice"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Calvo, I., Marcos, M., Orive, D., Sarachaga, I.: Using object-oriented technologies in factory automation. In: Proceedings of 2002 IECON Conference, Sevilla, Spain, pp. 2892\u20132897 (2002)","DOI":"10.1109\/IECON.2002.1182855"},{"issue":"11","key":"4_CR5","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1007\/s001700170112","volume":"17","author":"K.W. Young","year":"2001","unstructured":"Young, K.W., Piggin, R., Rachitrangsan, P.: An object-oriented approach to an agile manufacturing control system design. Int. J. of Advanced Manufacturing Technology\u00a017(11), 850\u2013859 (2001)","journal-title":"Int. J. of Advanced Manufacturing Technology"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1026314925956","volume":"15","author":"M. Bruccoleri","year":"2003","unstructured":"Bruccoleri, M., Diega, S.N.: An object-oriented approach for flexible manufacturing control systems analysis and design using the unified modeling language. Int. J. of Flexible Manufacturing System\u00a015(3), 195\u2013216 (2003)","journal-title":"Int. J. of Flexible Manufacturing System"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Spath, D., Osmers, U.: Virtual reality- an approach to improve the generation of fault free software for programmable logic controllers. In: Proc. of IEEE International Conference on Engineering of Complex Computer Systems, Montreal, Canada, pp. 43\u201346 (1996)","DOI":"10.1109\/ICECCS.1996.558331"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Baresi, L., Mauri, M., Monti, A., Pezze, M.: PLCTools: design, formal validation, and code generation for programmable controllers. In: Proc. of 2000 IEEE Conference on Systems, Man and Cybernetics, Nashville, USA (2000)","DOI":"10.1109\/ICSMC.2000.884357"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Han, K.H., Park, J.W.: Development of object-oriented modeling tool for the design of Industrial control logic. In: Proc. of the 5th International Conference on Software Engineering Research, Management and Applications (SERA 2007), Busan, Korea, pp. 353\u2013358 (2007)","DOI":"10.1109\/SERA.2007.80"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/TSMCC.2004.829286","volume":"34","author":"S.S. Peng","year":"2004","unstructured":"Peng, S.S., Zhou, M.C.: Ladder diagram and petri net based discrete event control design methods. IEEE trans. on Systems, Man and Cybernetics-Part C\u00a034(4), 523\u2013531 (2004)","journal-title":"IEEE trans. on Systems, Man and Cybernetics-Part C"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/B:JIMS.0000018036.84607.37","volume":"15","author":"G.B. Lee","year":"2004","unstructured":"Lee, G.B., Zandong, H., Lee, J.S.: Automatic generation of ladder diagram with control Petri net. J. of Intelligent Manufacturing\u00a015(2), 245\u2013252 (2004)","journal-title":"J. of Intelligent Manufacturing"},{"key":"4_CR12","unstructured":"Frey, G., Minas, M.: Internet-based development of logic controllers using signal interpreted petri nets and IEC 61131. In: Proc. of the SCI 2001, Orlando, FL, USA, vol.\u00a03, pp. 297\u2013302 (2001)"},{"issue":"6","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1743","DOI":"10.1080\/002075497195245","volume":"35","author":"A. Taholakian","year":"1997","unstructured":"Taholakian, A., Hales, W.M.M.: PN <-> PLC: a methodology for designing, simulating and coding PLC based control systems using Petri nets. Int. J. of Production Research\u00a035(6), 1743\u20131762 (1997)","journal-title":"Int. J. of Production Research"},{"key":"4_CR14","unstructured":"Jack, H.: Automating manufacturing systems with PLCs (2007), http:\/\/clay-more.engineer.gvsu.edu\/~jackh\/books.html"},{"issue":"4","key":"4_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.advengsoft.2004.11.002","volume":"36","author":"S. Manesis","year":"2005","unstructured":"Manesis, S., Akantziotis, K.: Automated synthesis of ladder automation circuits based on state diagrams. Advances in Engineering Software\u00a036(4), 225\u2013233 (2005)","journal-title":"Advances in Engineering Software"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11563228_23","volume-title":"Computer Safety, Reliability, and Security","author":"K. Sacha","year":"2005","unstructured":"Sacha, K.: Automatic code generation for PLC controllers. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 303\u2013316. Springer, Heidelberg (2005)"},{"key":"4_CR17","unstructured":"Liu, J., Darabi, H.: Ladder logic implementation of Ramadge-Wonham supervisory controller. In: Proc. of Sixth International Workshop on Discrete Event Systems, pp. 383\u2013389 (2002)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hajarnavis, V., Young, K.: A comparison of sequential function charts and object modeling with PLC programming. In: Proc. of American Control Conference, pp. 2034\u20132039 (2005)","DOI":"10.1109\/ACC.2005.1470269"},{"key":"4_CR19","unstructured":"PLC Open, XML Formats for IEC 61131-3 (2005), http:\/\/www.plcopen.org"}],"container-title":["Studies in Computational Intelligence","Computer and Information Science 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01209-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T07:47:09Z","timestamp":1739087229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01209-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012082","9783642012099"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01209-9_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}