{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:31:45Z","timestamp":1726043505434},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030306038"},{"type":"electronic","value":"9783030306045"}],"license":[{"start":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T00:00:00Z","timestamp":1567641600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-30604-5_10","type":"book-chapter","created":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T06:13:03Z","timestamp":1567577583000},"page":"115-124","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sequential Function Chart to Function Block Diagram Transformation with Explicit State Representation"],"prefix":"10.1007","author":[{"given":"Maciej","family":"Hojda","sequence":"first","affiliation":[]},{"given":"Grzegorz","family":"Filcek","sequence":"additional","affiliation":[]},{"given":"Grzegorz","family":"Popek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,5]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Alnaib, A., Altaee O., Al-jawady N.: PLC controlled multiple stepper motor using various excitation methods. In: Proceedings of ICETA, 2018 International Conference on Engineering Technologies and their Applications, pp. 54\u201359 (2018)","DOI":"10.1109\/IICETA.2018.8458097"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-540-27863-4_28","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"N Bauer","year":"2004","unstructured":"Bauer, N., et al.: Verification of PLC programs given as sequential function charts. In: Ehrig, H., et al. (eds.) Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol. 3147, pp. 517\u2013540. Springer, Heidelberg (2004)"},{"key":"10_CR3","unstructured":"Bornot, S., et al.: Verification of sequential function charts using SMV. In: proceedings of PDPTA, 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 2987\u20132993 (2000)"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"151","DOI":"10.3311\/PPee.9743","volume":"62","author":"D Darvas","year":"2017","unstructured":"Darvas, D., Majzik, I., Vi\u00f1uela, E.: PLC program translation for verification purposes. Periodica Polytech. Electr. Eng. Comput. Sci. 62(2), 151\u2013165 (2017)","journal-title":"Periodica Polytech. Electr. Eng. Comput. Sci."},{"issue":"4","key":"10_CR5","first-page":"82","volume":"13","author":"A Dideban","year":"2011","unstructured":"Dideban, A., Mohsen, K., Alla, H.: Implementation of petri nets based controller using SFC. Control Eng. Appl. Inf. 13(4), 82\u201392 (2011)","journal-title":"Control Eng. Appl. Inf."},{"key":"10_CR6","first-page":"1130","volume":"325","author":"H Fengyun","year":"2013","unstructured":"Fengyun, H., Hao, P., Ruifeng, G.: Design of PLC sequential function chart based on IEC61131-3 standard. Appl. Mech. Mater. 325, 1130\u20131134 (2013)","journal-title":"Appl. Mech. Mater."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0098-1354(00)00484-1","volume":"24","author":"K Fujino","year":"2000","unstructured":"Fujino, K., et al.: Design and verification of the SFC program for sequential control. Comput. Chem. Eng. 24, 303\u2013308 (2000)","journal-title":"Comput. Chem. Eng."},{"key":"10_CR8","unstructured":"International Electrotechnical Commision: IEC 61131-3 First edition. International Standard. Programmable controllers \u2013 Part 3: Programming languages (1993). \n                    http:\/\/www.iec.ch"},{"key":"10_CR9","unstructured":"International Electrotechnical Commision: IEC 61131-3 Edition 3.0. International Standard. Programmable controllers \u2013 Part 3: Programming languages (2013). \n                    http:\/\/www.iec.ch"},{"key":"10_CR10","first-page":"372","volume":"10","author":"T Jarmuda","year":"2012","unstructured":"Jarmuda, T.: A computer system for controlling temperature in a two-state mode and by means of a PI controller in an \u201cintelligent building\u201d. Comput. Appl. Electr. Eng. 10, 372\u2013385 (2012)","journal-title":"Comput. Appl. Electr. Eng."},{"key":"10_CR11","volume-title":"IEC 61131\u20133: Programming Industrial Automation Systems","author":"J Karl-Heinz","year":"2001","unstructured":"Karl-Heinz, J., Tiegelkamp, M.: IEC 61131\u20133: Programming Industrial Automation Systems. Springer, Heidelberg (2001)"},{"key":"10_CR12","unstructured":"Kim, H., Kwon, W., Chang, N.: Translation method for ladder diagram with application to a manufacturing process. In: Proceedings of ICRA, 1999 IEEE International Conference on Robotics and Automation, vol. 1, pp. 793\u2013798 (1999)"},{"key":"10_CR13","first-page":"149","volume-title":"Lecture Notes in Computer Science","author":"Dominique L\u2019Her","year":"1999","unstructured":"L\u2019Her, P., et al.: Proving Sequential Function Chart Programs Using Automata. LNCS, vol. 1660, pp. 149\u2013163 (1998)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Lopes, V., Sousa M.: Algorithm and tool for LD to SFC conversion with state-space method. In: Proceedings of INDIN, 2017 IEEE 15th International Conference on Industrial Informatics, pp. 565\u2013570 (2017)","DOI":"10.1109\/INDIN.2017.8104834"},{"key":"10_CR15","unstructured":"Mello, A., et al.: A transcription tool from Petri net to CLP programming languages. In: ABCM Symposium Series in Mechatronics, vol. 5, pp. 781\u2013790 (2012)"},{"key":"10_CR16","unstructured":"Peng, S., Zhou, M.: Design and analysis of sequential function charts using sensor-based stage petri nets. In: Proceedings of SMC, 2003 IEEE International Conference on Systems, Man and Cybernetics, Conference Theme - System Security and Assurance, pp. 4748\u20134753 (2003)"},{"key":"10_CR17","first-page":"69","volume":"1","author":"V Sarac","year":"2016","unstructured":"Sarac, V.: Application of PLC programming in cost efficient industrial process. Int. J. Inf. Technol. Secur. 1, 69\u201378 (2016)","journal-title":"Int. J. Inf. Technol. Secur."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Tsukamoto, T., Takahashi, K.: Modeling of elevator control logic based on mark flow graph and its implementation on programmable logic controller. In: Proceedings of GCCE, 2014 IEEE 3rd Global Conference on Consumer Electronics, pp. 599\u2013600 (2014)","DOI":"10.1109\/GCCE.2014.7031225"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S1474-6670(17)33711-4","volume":"36","author":"M Wci\u015blik","year":"2003","unstructured":"Wci\u015blik, M.: Programming of sequential system in ladder diagram language. IFAC Proc. Vol. 36(1), 37\u201340 (2003)","journal-title":"IFAC Proc. Vol."},{"issue":"4","key":"10_CR20","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.ifacol.2015.07.056","volume":"48","author":"M Wci\u015blik","year":"2015","unstructured":"Wci\u015blik, M., Suchenia, K., \u0141askawski, M.: Programming of sequential control systems using functional block diagram language. IFAC-PapersOnLine 48(4), 330\u2013335 (2015)","journal-title":"IFAC-PapersOnLine"}],"container-title":["Advances in Intelligent Systems and Computing","Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology \u2013 ISAT 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30604-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T06:26:34Z","timestamp":1567578394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30604-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,5]]},"ISBN":["9783030306038","9783030306045"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30604-5_10","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,9,5]]},"assertion":[{"value":"5 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Systems Architecture and Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Wroc\u0142aw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isat2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isat.pwr.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}