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
相关论文
共 50 条
[21]   A Novel Framework of Using Petri Net to Timed Service Business Process Modeling [J].
Yang, Xiaoxian ;
Yu, Tao ;
Xu, Huahu .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (04) :633-652
[22]   A multiagent systems with Petri Net approach for simulation of urban traffic networks [J].
Flores Geronimo, Mauricio ;
Hernandez Martinez, Eduardo Gamaliel ;
Ferreira Vazquez, Enrique Dumas ;
Flores Godoy, Jose Job ;
Fernandez Anaya, Guillermo .
COMPUTERS ENVIRONMENT AND URBAN SYSTEMS, 2021, 89
[23]   RETRACTED: Modeling Based on Colored Petri Net and Simulation of Equipment Battlefield Repair Supported by Space Information (Retracted Article) [J].
Zhang Han-feng ;
Lu Yu ;
Chen Li-yun .
2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011, 11
[24]   Modeling and Analysis of Cyber-physical Systems Based on Petri Net [J].
Yuhai Yang ;
Chongquan Zhong ;
Xiaodong Liu ;
Wei Lu .
International Journal of Control, Automation and Systems, 2023, 21 (9) :2980-2994
[25]   Petri net-based modeling and VHDL implementation of digital systems [J].
Wan, Jun .
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 :108-111
[26]   Modeling and Analysis of Cyber-physical Systems Based on Petri Net [J].
Yang, Yuhai ;
Zhong, Chongquan ;
Liu, Xiaodong ;
Lu, Wei .
INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) :2980-2994
[27]   Petri Net Modeling of Information Flow in the Online Train Ticket Booking System [J].
Song, Ci ;
Wu, Weimin .
2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS (ICAL), 2012, :517-522
[28]   APPLICATION OF COLORED PETRI NET IN MODELING OF AN AGRICULTURAL ENTERPRISE INFORMATION MANAGEMENT SYSTEM [J].
Zhang, Fangtian ;
Wang, Kaiyi ;
Sui, Jin ;
Liu, Chang ;
Liu, Zhongqiang .
COMPUTER AND COMPUTING TECHNOLOGIES IN AGRICULTURE II, VOL 1, 2009, 293 :653-660
[29]   A Formalized Modeling Method for Personalized Information Services Based on Attributive Petri Net [J].
Zhou Ru-Qi .
2010 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING (MSE 2010), VOL 2, 2010, :238-243
[30]   MODELING AND SIMULATION OF PETRI NETS FOR COMPLEX SCHEDULING RULES OF AUTOMATED MANUFACTURING SYSTEMS [J].
Kim, Chulhan ;
Lee, Tae-Eog .
23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, :319-324