A framework for analytics and simulation of accounting information systems: A Petri net modeling primer

被引:10
作者
Kim, Rosemary [1 ]
Gangolly, Jagdish [2 ]
Elsas, Philip [3 ]
机构
[1] Loyola Marymount Univ, Sch Business, Los Angeles, CA 90045 USA
[2] SUNY Albany, Coll Engn & Appl Sci, Albany, NY 12222 USA
[3] Computat Auditing Inc, Toronto, ON, Canada
关键词
Petri net; System documentation; Model of accounting information systems; Analytics; Simulation; Verification of system properties; VERIFICATION;
D O I
10.1016/j.accinf.2017.09.002
中图分类号
F [经济];
学科分类号
02 ;
摘要
Accountants have modeled and documented accounting information systems (AIS) through system flowcharts, which have also been used to study internal controls. However, when AIS are large, complex, and distributed, their system flowcharts are difficult to comprehend, challenging to use, and insufficient to support decision making in system design and implementation. In this primer we propose a set of requirements for modeling and documenting complex AIS that address those concerns. Since most other models such as SSAD, UML, and BPMN used to represent MS are influenced by or can be reduced to Petri net models, we compare system flowcharts with Petri net representation of MS. We evaluate systems flowcharts and Petri nets for their suitability in modeling MS. We find that Petri nets are an attractive alternative due to their extensive capability to perform analytics and simulation. Analytics can be used to study structural and behavioral properties while simulations can help study run-time behavior of systems to evaluate computing capacity and system performance. We provide a detailed description and guidelines of how design analytics and implementation analytics can be achieved based on the Petri net framework. With this unified modeling strategy, we also describe how it can support the process of audit analytics. Petri nets are popular in computer science, engineering, manufacturing, supply chain management, and business process reengineering. We explore this viable method for rigorous study of MS modeling and documentation.
引用
收藏
页码:30 / 54
页数:25
相关论文
共 84 条
[1]  
Ailenei I, 2012, LECT NOTES BUS INF P, V99, P75
[2]  
[Anonymous], 1981, Petri net theory and the modeling of systems
[3]  
[Anonymous], SOFTWARE SYSTEMS MOD
[4]   On Risk Management with Information Flows in Business Processes [J].
Bai, Xue ;
Krishnan, Ramayya ;
Padman, Rema ;
Wang, Harry Jiannan .
INFORMATION SYSTEMS RESEARCH, 2013, 24 (03) :731-749
[5]  
Balbo G, 2007, LECT NOTES COMPUT SC, V4486, P83
[6]  
BERNARDINELLO L, 1992, LECT NOTES COMPUT SC, V609, P304
[7]  
Blatke M., 2011, TUTORIAL PETRI NETS
[8]  
Bosilj-Vuksic V., 2001, ENTERPRISE INFORM SY, P143
[9]  
Bradford Marianne, 2007, Journal of Information Systems, V21, P173, DOI 10.2308/jis.2007.21.1.173
[10]  
Burkard R., 2009, ASSIGNMENT PROBLEMS