{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:37:39Z","timestamp":1760236659326,"version":"build-2065373602"},"reference-count":27,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T00:00:00Z","timestamp":1639267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002873","name":"Chulalongkorn University","doi-asserted-by":"publisher","award":["-"],"award-info":[{"award-number":["-"]}],"id":[{"id":"10.13039\/501100002873","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>Many learners who are not familiar with the accounting terms find blended learning very complex to understand with respect to the computerized accounting system, the journal entries process, and tracing the accounting transaction flows of accounting system. A simulation-based model is a viable option to help instructors and learners make understanding the accounting system components and monitoring the accounting transactions easier. This paper proposes a colored Petri net (CPN)-based model for the instruction of an accounting system focused on the journal entries processes, accounting modules, and accounting transaction flows. The CPN-based language and the model checking tool named CPN are used to represent the accounting system components: a chart of accounts, an account mapping profile, the journal and ledgers system, and the financial report creations. We evaluated the designed CPN models by creating the simulation cases from ground truth data of the retail department store system and the mortgage loan system, using the decision-table-based testing technique. The results show that the designed CPN model and provided simulation cases help the learners to animate, verify, trace back accounting transactions and data flows, and increase the learner\u2019s understanding.<\/jats:p>","DOI":"10.3390\/computers10120169","type":"journal-article","created":{"date-parts":[[2021,12,13]],"date-time":"2021-12-13T01:28:11Z","timestamp":1639358891000},"page":"169","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction"],"prefix":"10.3390","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8441-8962","authenticated-orcid":false,"given":"Chanon","family":"Dechsupa","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok 10300, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok 10300, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Worawit","family":"Poolsawasdi","sequence":"additional","affiliation":[{"name":"Faculty of Science and Art, Chanthaburi Campus, Burapha University, Chanthaburi 22170, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthit","family":"Thongtak","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok 10300, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,12,12]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Heiner, M., Herajy, M., Liu, F., Rohr, C., and Schwarick, M. (2012, January 25\u201329). Snoopy\u2014A unifying Petri net tool. Proceedings of the International Conference on Application and Theory of Petri Nets and Concurrency, Hamburg, Germany.","DOI":"10.1007\/978-3-642-31131-4_22"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems","volume":"9","author":"Jensen","year":"2007","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","article-title":"GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets","volume":"24","author":"Chiola","year":"1995","journal-title":"Perform. Eval."},{"key":"ref_4","unstructured":"Wolf, K. (, January 24\u201329). Petri net model checking with LoLA 2. Proceedings of the International Conference on Applications and Theory of Petri Nets and Concurrency, Bratislava, Slovakia."},{"key":"ref_5","unstructured":"Singh, H., Conrad, M., and Sadeghipour, S. (, January 12\u201314). Test case design based on Z and the classification-tree method. Proceedings of the First IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Poolsawasdi, W., and Dechsupa, C. (2019, January 2\u20135). Formal Verification of the Accounting Information Interfaces Using Colored Petri Net. Proceedings of the 2019 5th International Conference on Engineering, Applied Sciences and Technology (ICEAST), Luang Prabang, Laos.","DOI":"10.1109\/ICEAST.2019.8802547"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.accinf.2017.09.002","article-title":"A framework for analytics and simulation of accounting information systems: A Petri net modeling primer","volume":"27","author":"Kim","year":"2017","journal-title":"Int. J. Account. Inf. Syst."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Yingwei, L., and Jiuzhi, M. (2011, January 27\u201329). The research of computerized accounting system of internal control. Proceedings of the 2011 IEEE 3rd International Conference on Communication Software and Networks, Xi\u2019an, China.","DOI":"10.1109\/ICCSN.2011.6013834"},{"key":"ref_9","unstructured":"Szpyrka, M., and Szmuc, T. (2007, January 28\u201330). Decision tables in Petri net models. Proceedings of the International Conference on Rough Sets and Intelligent Systems Paradigms, Warsaw, Poland."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Deesukying, J., and Vatanawood, W. (2016, January 26\u201329). Generating of business rules for Coloured Petri Nets. Proceedings of the 2016 IEEE\/ACIS 15th International Conference on Computer and Information Science (ICIS), Okayama, Japan.","DOI":"10.1109\/ICIS.2016.7550824"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2478\/bsrj-2014-0015","article-title":"Accounting Information Systems implementation and management accounting change","volume":"5","author":"Bredmar","year":"2014","journal-title":"Bus. Syst. Res. J."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Niu, Y. (2010, January 16\u201318). An empirical analysis of accounting information integration in integrated systems. Proceedings of the 2010 2nd IEEE International Conference on Information Management and Engineering, Chengdu, China.","DOI":"10.1109\/ICIME.2010.5478343"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Zuama, R.A., Hudin, J.M., Puspitasari, D., Hermaliani, E.H., and Riana, D. (2017, January 8\u201310). Quality dimensions of Delone-McLean model to measure students\u2019 accounting computer satisfaction: An empirical test on accounting system information. Proceedings of the 2017 5th International Conference on Cyber and IT Service Management (CITSM), Denpasar, Indonesia.","DOI":"10.1109\/CITSM.2017.8089318"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0361-3682(99)00006-9","article-title":"Towards a meta-theory of accounting information systems","volume":"24","author":"Mauldin","year":"1999","journal-title":"Organ. Soc."},{"key":"ref_15","first-page":"49","article-title":"Computer aided instruction A study of student evaluations and academic performance","volume":"5","author":"Collins","year":"2008","journal-title":"J. Coll. Teach. Learn."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Cooper, J.P., and Pattanayak, S. (2011). Chart of Accounts: A Critical Element of the Public Financial Management Framework, Citeseer.","DOI":"10.5089\/9781475510218.005"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1006\/cpac.1993.1008","article-title":"Double-entry bookkeeping and the birth of capitalism: Accounting for the commercial revolution in medieval northern Italy","volume":"4","author":"Bryer","year":"1993","journal-title":"Crit. Perspect. Account."},{"key":"ref_18","unstructured":"Baier, C., and Katoen, J.P. (2008). Principles of Model Checking, MIT Press."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Fisher, M. (2011). An Introduction to Practical Formal Methods Using Temporal Logic, John Wiley & Sons.","DOI":"10.1002\/9781119991472"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Klieber, W., Nov\u00e1\u010dek, M., and Zuliani, P. (2011). Model checking and the state explosion problem. LASER Summer School on Software Engineering, Springer.","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/s10270-014-0421-5","article-title":"Petri nets in systems biology","volume":"14","author":"Koch","year":"2015","journal-title":"Softw. Syst. Model."},{"key":"ref_22","unstructured":"Bl\u00e4tke, M.A., Heiner, M., and Marwan, W. (2011). Petri Nets in Systems Biology, Otto von Guericke University Magdeburg. Technical Report."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"1513","DOI":"10.1042\/bst0311513","article-title":"Petri Net representations in systems biology","volume":"31","author":"Pinney","year":"2003","journal-title":"Biochem. Soc. Trans."},{"key":"ref_24","unstructured":"Heiner Monika, D.G., and Donaldson, R. (2008, January 2\u20137). Petri nets for systems and synthetic biology. Proceedings of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy."},{"key":"ref_25","unstructured":"Liu, F. (2012). Colored Petri Nets for Systems Biology. [Master\u2019s Thesis, Brandenburg University of Technology]."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Jorgensen, P.C. (2018). Software Testing: A Craftsman\u2019s Approach, CRC Press.","DOI":"10.1201\/b15980"},{"key":"ref_27","unstructured":"Computer Science Department, Boston University (2021, July 10). SNOOPY: Web Animation. Available online: https:\/\/www-dssz.informatik.tu-cottbus.de\/web_animation\/pn\/tram1.spped."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/10\/12\/169\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:45:59Z","timestamp":1760168759000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/10\/12\/169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,12]]},"references-count":27,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2021,12]]}},"alternative-id":["computers10120169"],"URL":"https:\/\/doi.org\/10.3390\/computers10120169","relation":{},"ISSN":["2073-431X"],"issn-type":[{"type":"electronic","value":"2073-431X"}],"subject":[],"published":{"date-parts":[[2021,12,12]]}}}