A journal of IEEE and CAA , publishes high-quality papers in English on original theoretical/experimental research and development in all areas of automation
Volume 6 Issue 4
Jul.  2019

IEEE/CAA Journal of Automatica Sinica

  • JCR Impact Factor: 11.8, Top 4% (SCI Q1)
    CiteScore: 17.6, Top 3% (Q1)
    Google Scholar h5-index: 77, TOP 5
Turn off MathJax
Article Contents
Jiani Zhou, Jiacun Wang and Jun Wang, "A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems," IEEE/CAA J. Autom. Sinica, vol. 6, no. 4, pp. 969-980, July 2019. doi: 10.1109/JAS.2019.1911576
Citation: Jiani Zhou, Jiacun Wang and Jun Wang, "A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems," IEEE/CAA J. Autom. Sinica, vol. 6, no. 4, pp. 969-980, July 2019. doi: 10.1109/JAS.2019.1911576

A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems

doi: 10.1109/JAS.2019.1911576
More Information
  • In many service delivery systems, the quantity of available resources is often a decisive factor of service quality. Resources can be personnel, offices, devices, supplies, and so on, depending on the nature of the services a system provides. Although service computing has been an active research topic for decades, general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way remain to be seen. Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and concurrency for almost a half century. Stochastic timed Petri nets (STPN), an extension to regular Petri nets, are a powerful tool for system performance evaluation. However, we did not find any single existing STPN software tool that supports all timed transition firing policies and server types, not to mention resource provisioning and requirement analysis. This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery system quality vs. resource provisioning. The power of the simulation system is illustrated by an application to emergency health care systems.


  • loading
  • [1]
    Y. Liu, H. Zhang, C. Li, and R. Jiao, " Workflow simulation for operational decision support using event graph through process mining,” Decision Support Systems, vol. 52, pp. 685–697, 2012. doi: 10.1016/j.dss.2011.11.003
    J. Wang and D. Li, " Resource oriented workflow nets and workflow resource requirement analysis,” Int. J. Software Engineering and Knowledge Engineering, vol. 23, no. 5, pp. 667–693, 2013.
    T. Murata, " Petri nets: properties, analysis and applications,” in Proc. IEEE, vol. 77, no. 4, pp. 541–580, 1989. doi: 10.1109/5.24143
    N. Wu and M. Zhou, " Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes,” Trans. Institute of Measurement and Control, vol. 33, no. 1, pp. 9–29, 2009.
    M. Zhou and N. Wu, System Modeling and Control with Resource-Oriented Petri Nets, CRC Press, 2009.
    G. Liu, " Complexity of the deadlock problem for Petri nets modeling resource allocation systems, information sciences—informatics and computer science,” Applications:An Int. J., vol. 363, no. C, pp. 190–197, 2017.
    J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998.
    M. K. Molloy, " On the integration of delay and throughput measures in distributed processing models,” Ph.D. dissertation, UCLA, Los Angeles, CA, 1981.
    F. J. W. " Symons. modeling and analysis of communication protocols using numerical petri nets,” Ph.D. dissertation, University of Essex, 1978.
    M. A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons, 1995.
    J. Dugan, K. S. Trivedi, R. Geist, and V. Nicola, " Extended stochastic Petri nets: applications and analysis,” in Proc. Performance, Paris, France, Dec. 1984.
    G. Ciardo and C. Lindemann, " Analysis of deterministic and stochastic petri nets,” in Proc. Petri Nets and Performance Models, 1993.
    M. A. Marsan and G. Chiola, " On Petri nets with deterministic and exponentially distributed firing times,” Advances in Petri Nets, pp. 132–145. Springer Berlin Heidelberg, 1987.
    Z. Huang and J. Wang, " Hybrid state analysis for non-Markovian stochastic Petri net models,” Chinese J. Automation, vol. 7, no. 1, 1995.
    G. Horton, " A new paradigm for the numerical simulation of stochastic petri nets with general firing times,” in Proc. European Simulation Symposium, pp. 129–136, 2002.
    S. Lazarova-Molnar and G. Horton, " Proxel-Based Simulation of stochastic Petri nets containing immediate transitions,” Electronic Notes in Theoretical Computer Science, vol. 85, no. 4, pp. 203–217, 2003.
    W. D. Kelton and A. M. Law. Simulation Modeling and Analysis. McGraw Hill Boston, MA, 2000.
    List of Petri net tools on the web page of Department of Informatics, University of Hamburg, Germany. [Online]. Available: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html.
    S. Baarir, M. Beccuti, D. Cerotti, M. De Pierro, S. Donatelli, and G. Franceschinis, " The GreatSPN tool: recent enhancements,” ACM SIGMETRICS Performance Evaluation Review, vol. 36, no. 4, pp. 4–9, 2009. doi: 10.1145/1530873
    E. Gilberto and S. Donatelli, " Dspn-tool: a new DSPN and GSPN solver for greatspn,” in 7th Int. Conf. Quantitative Evaluation of Systems, pp. 79–80, Sep. 2010.
    A. Zimmermann and M. Knoke, TimeNET 4.0: A software Tool for the Performability Evaluation with Stochastic and Colored Petri Nets; User Manual. TU, Professoren der Fak. IV, 2007.
    P. Bonet, C. M. Llad´o, R. Puijaner, and W. J. Knottenbelt, " Pipe v2.5: A P Boucheneb1, Petri net tool for performance modelling,” in Proc. 23rd Latin American Conference on Informatics, 2007.
    C. Hirel, B. Tuffin, and K. S. Trivedi, " SPNP: stochastic Petri nets. version 6.0,” in Computer Performance Evaluation. Modelling Techniques and Tools, pp. 354–357. Springer, 2000.
    S. Kounev, S. Spinner, and P. Meier, " QPME 2.0 — a tool for stochastic modeling and analysis using queueing Petri nets,” in From Active Data Management to Event-based Systems and More, pp. 293–311. Springer, 2010.
    Á. Horváth and A. Molnár, TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays, SIMUTOOLS 2015, Athens, Greece, 2015
    M. Dotoli, M. P. Fanti, G. Iacobellis, L. Martino, A. M. Moretti, and W. UKovich, " Modeling and management of a hospital department via petri nets,” in Proc. IEEE Workshop on Health Care Management, 2010.
    M. Fanti, A. Mangni, M. Dotoli, and W. Ukovich, " A three-level strategy for the design and performance evaluation of hospital departments,” IEEE Trans. Systems, Man and Cybernetics, Systems: 43(4):742–756, 2013.
    C. C. Mahulea, L. Mahulea, J. García-Soriano, and J. Colom, " Modular Petri net modeling of healthcare systems. flexible services and manufacturing journal, special issue on analysis,” Design and Management of Health Care Systems, 2017.
    J. Wang, J. Tian, and R Sun, " Emergency healthcare resource requirement analysis: a stochastic timed Petri net Approach,” in IEEE 15th Int. Conf. Networking, Sensing and Control, IEEE, Mar. 2018.
    G. Liu, Z. Li, and A. Al- Ahmni, " Liveness Analysis of Petri nets using siphons and mathematical programming,” IFAC Proceedings, vol. 47, no. 2, pp. 383–387, 2014. doi: 10.3182/20140514-3-FR-4046.00078
    H. Boucheneb, D. Lime, and O. H. Roux, " On Multi-enabledness in time Petri nets,” in Proc. Application and Theory of Petri Nets and Concurrency, pp 130–149, 2013.
    M. Boyer and M. Diaz, " Multiple enabledness of transitions in Petri nets with time, ” in Proc. 9th Int. Workshop Petri Nets and Performance Models, Aachen, Germany, Sep. 2001.
    G. Liu, C. Jiang, and M. Zhou, " Time-soundness of time Petri nets modeling time-critical systems,” ACM Trans. Cyber-Physical Systems, 2(2), DOI: 10.1145/3185502,2018.
    G. Agha and K. Palmskog, " A Survey of Statistical Model Checking, ” ACM Trans. Modeling and Computer Simulation, vol. 28, no. 1, 2018.


    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(18)  / Tables(1)

    Article Metrics

    Article views (1680) PDF downloads(57) Cited by()


    • The simulation tool supports single-server and multiple-server(infinite-server) transition models.
    • The simulation tool supports pre-selection and race transition firing policies.
    • The simulation is GUI-driven and supports both step-by-step mode and batch execution mode.
    • The simulation tool support resource provisioning.


    DownLoad:  Full-Size Img  PowerPoint