{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:20Z","timestamp":1750220900854,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,12,9]]},"DOI":"10.1145\/3374549.3374571","type":"proceedings-article","created":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T10:23:34Z","timestamp":1580207014000},"page":"81-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing a Decision Table into Petri Nets"],"prefix":"10.1145","author":[{"given":"Thanatta","family":"Mankong","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,1,28]]},"reference":[{"volume-title":"Proceedings of the 2016 8th International Conference on Information Management and Engineering (Istanbul, Turkey, November 02-05, 2016). CHI '00. ACM","author":"Masuda S.","key":"e_1_3_2_1_1_1","unstructured":"Masuda , S. , Matsuodani , T. , and Tsuda , K . 2016. Syntactic Rules of Extracting Test Cases from Software Requirements . In Proceedings of the 2016 8th International Conference on Information Management and Engineering (Istanbul, Turkey, November 02-05, 2016). CHI '00. ACM , New York, NY, 12--17. Masuda, S., Matsuodani, T., and Tsuda, K. 2016. Syntactic Rules of Extracting Test Cases from Software Requirements. In Proceedings of the 2016 8th International Conference on Information Management and Engineering (Istanbul, Turkey, November 02-05, 2016). CHI '00. ACM, New York, NY, 12--17."},{"key":"e_1_3_2_1_2_1","first-page":"657","article-title":"2007. Decision Tables in Petri Net Models","volume":"648","author":"Szpyrka M.","year":"2007","unstructured":"Szpyrka , M. , and Szmuc , T . 2007. Decision Tables in Petri Net Models , Springer , 2007 , 648 -- 657 . Szpyrka, M., and Szmuc, T. 2007. Decision Tables in Petri Net Models, Springer, 2007, 648--657.","journal-title":"Springer"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the International Journal of Computer Networks & Communications (IJCNC),( Australia","author":"Guibu H. I.","year":"2017","unstructured":"Guibu , H. I. , and Neto , J. J . 2017. Decision making system supported by Adaptive Coloured Petri Nets . In Proceedings of the International Journal of Computer Networks & Communications (IJCNC),( Australia , July , 2017 ). Guibu, H. I., and Neto, J. J. 2017. Decision making system supported by Adaptive Coloured Petri Nets. In Proceedings of the International Journal of Computer Networks & Communications (IJCNC),( Australia, July, 2017)."},{"volume-title":"Proceedings of the 2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS).","author":"Deesukying J.","key":"e_1_3_2_1_4_1","unstructured":"Deesukying , J. , and Vatanawood , W . 2016. Generating of Business Rules for Coloured Petri Nets . In Proceedings of the 2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS). Deesukying, J., and Vatanawood, W. 2016. Generating of Business Rules for Coloured Petri Nets. In Proceedings of the 2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219649208001907"},{"volume-title":"Proceedings of the 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.","author":"Desel J.","key":"e_1_3_2_1_6_1","unstructured":"Desel , J. , Oberweis , A. , and Zimmer , T . 1997. A Test Case Generator for the Validation of High-Level Petri Nets . In Proceedings of the 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97. Desel, J., Oberweis, A., and Zimmer, T. 1997. A Test Case Generator for the Validation of High-Level Petri Nets. In Proceedings of the 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIET.2010.5625700"},{"volume-title":"Proceedings of the International Conference of IEEE TENCON.","author":"Auechaikul T.","key":"e_1_3_2_1_8_1","unstructured":"Auechaikul , T. , and Vatanawood , W . 2007. A Development of Business Rules with Decision Tables for Business Processes . In Proceedings of the International Conference of IEEE TENCON. Auechaikul, T., and Vatanawood, W. 2007. A Development of Business Rules with Decision Tables for Business Processes. In Proceedings of the International Conference of IEEE TENCON."},{"volume-title":"Software Testing A Craftsman's Approach","author":"Jorgensen C., P.","key":"e_1_3_2_1_9_1","unstructured":"Jorgensen , C., P. 2014. Software Testing A Craftsman's Approach Fourth Edition, 117--131. Jorgensen, C., P. 2014. Software Testing A Craftsman's Approach Fourth Edition, 117--131."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IDC.2007.374566"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1990.175402"},{"volume-title":"Analysis Methods, Case Studies","author":"Reisig W.","key":"e_1_3_2_1_12_1","unstructured":"Reisig , W. 2013. Understanding Petri Nets: Modeling Techniques , Analysis Methods, Case Studies , Springer . Reisig, W. 2013. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, Springer."},{"key":"e_1_3_2_1_13_1","unstructured":"TIme Petri Net Analyzer. [Online] Available: http:\/\/projects.laas.fr\/tina\/index.ph  TIme Petri Net Analyzer. [Online] Available: http:\/\/projects.laas.fr\/tina\/index.ph"}],"event":{"name":"ICSEB 2019: 2019 The 3rd International Conference on Software and e-Business","sponsor":["Waseda University Waseda University"],"location":"Tokyo Japan","acronym":"ICSEB 2019"},"container-title":["Proceedings of the 2019 3rd International Conference on Software and e-Business"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3374549.3374571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:44Z","timestamp":1750203884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3374549.3374571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":13,"alternative-id":["10.1145\/3374549.3374571","10.1145\/3374549"],"URL":"https:\/\/doi.org\/10.1145\/3374549.3374571","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2020-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}