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
    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
    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)
    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
    Yuhai Yang
    Chongquan Zhong
    Xiaodong Liu
    Wei Lu
    International Journal of Control, Automation and Systems, 2023, 21 (9) : 2980 - 2994
  • [25] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yang, Yuhai
    Zhong, Chongquan
    Liu, Xiaodong
    Lu, Wei
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) : 2980 - 2994
  • [26] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [27] APPLICATION OF COLORED PETRI NET IN MODELING OF AN AGRICULTURAL ENTERPRISE INFORMATION MANAGEMENT SYSTEM
    Zhang, Fangtian
    Wang, Kaiyi
    Sui, Jin
    Liu, Chang
    Liu, Zhongqiang
    COMPUTER AND COMPUTING TECHNOLOGIES IN AGRICULTURE II, VOL 1, 2009, 293 : 653 - 660
  • [28] A Formalized Modeling Method for Personalized Information Services Based on Attributive Petri Net
    Zhou Ru-Qi
    2010 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING (MSE 2010), VOL 2, 2010, : 238 - 243
  • [29] MODELING AND SIMULATION OF PETRI NETS FOR COMPLEX SCHEDULING RULES OF AUTOMATED MANUFACTURING SYSTEMS
    Kim, Chulhan
    Lee, Tae-Eog
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 319 - 324
  • [30] Petri Net Modeling of Information Flow in the Online Train Ticket Booking System
    Song, Ci
    Wu, Weimin
    2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS (ICAL), 2012, : 517 - 522