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 条
  • [31] Modeling and Simulation of Loading and Unloading Scheduling System Based on Agent and Petri Net
    Ren, Lipeng
    Wen, Wang
    Fu WeiPing
    Yang, Wei
    Li, Can
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 1537 - 1542
  • [32] Modeling and simulation of fission yeast cell cycle on hybrid functional Petri net
    Fujita, S
    Matsui, M
    Matsuno, H
    Miyano, S
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (11) : 2919 - 2928
  • [33] Petri Net based modeling and simulation of pipelined block-cyclic broadcasts
    Souravlas, Stavros I.
    Roumeliotis, Manos
    [J]. PROCEEDINGS OF THE 15TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING, 2006, : 157 - +
  • [34] THE USE OF FUZZY COLOURED PETRI NET IN MODELING AND SIMULATION OF FLEXIBLE MANUFACTURING CELL
    Blaga, Florin-Sandu
    Pop, Alin
    Stanasel, Iulian
    Pantea, Ioan
    [J]. ANNALS OF DAAAM FOR 2008 & PROCEEDINGS OF THE 19TH INTERNATIONAL DAAAM SYMPOSIUM, 2008, : 103 - 104
  • [35] Modeling and simulation of rumor propagation in social networks based on Petri net theory
    Wang, Zhonglei
    Wen, Tianyu
    Wu, Weimin
    [J]. 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2015, : 492 - 497
  • [36] ESys.Net: A new solution for embedded systems modeling and simulation
    Lapalme, J
    Aboulhamed, EM
    Nicolescu, G
    Charest, L
    Boyer, FR
    David, JP
    Bois, G
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (07) : 107 - 114
  • [37] A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce
    Ji, Shujuan
    Tian, Qijia
    Liang, Yongquan
    [J]. MULTI-AGENT SYSTEMS FOR SOCIETY, 2009, 4078 : 324 - 336
  • [38] A PETRI NET BASED OFFLINE SIMULATION AND ONLINE DIAGNOSTIC PLATFORM FOR MANUFACTURING SYSTEMS
    Yao, Albert Wen-Long
    Liao, Hsin-Te
    Chi, Shu-Chuan Jessica
    Peng, Shih-Sen
    [J]. JOURNAL OF INDUSTRIAL AND PRODUCTION ENGINEERING, 2005, 22 (01) : 64 - 75
  • [39] Simulation and analysis of infrastructure interdependencies using a Petri net simulator in a geographical information system
    Ge, Yong
    Xing, Xitao
    Cheng, Qiuming
    [J]. INTERNATIONAL JOURNAL OF APPLIED EARTH OBSERVATION AND GEOINFORMATION, 2010, 12 (06) : 419 - 430
  • [40] MODELING BY PETRI-NET WITH PLACE INVARIANTS FOR SEQUENTIAL CONTROL-SYSTEMS
    CAI, YG
    NISHII, I
    SEKIGUCHI, T
    [J]. ELECTRICAL ENGINEERING IN JAPAN, 1995, 115 (05) : 100 - 111