Skip to main content
SpringerLink
Log in

Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets

  • Chapter
  • First Online:
Advances in Computing, Informatics, Networking and Cybersecurity

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 289))

Abstract

Patients moving though a healthcare facility to receive medical service form patient flow. Optimizing patient flow is crucial to improving the efficiency of healthcare practice, providing a positive experience for patients and healthcare teams. Patient flow is event-driven, and thus Petri nets are a good fit for its modeling and analysis. In this chapter, the fundamental concepts of Petri nets, including transition firing rules, modeling power, structural and behavioral properties are briefly introduced. Petri net modeling practice in healthcare systems and patient flows, in particular, is discussed. Details of patient flow performance analysis based on stochastic timed Petri nets, such as the average patient waiting time, resource constraints modeling, task durations modeling, and patient flow hierarchical modeling that handles complexity are discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Ajmone Marsan, M., Balbo, G.., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans. Softw. Eng. SE-15(7), 832–846 (1989)

    Google Scholar 

  2. Boyer, M., Diaz, M.: Multiple enabledness of transitions in Petri nets with time. In: Proceedings of 9th International Workshop on Petri Nets and Performance Models. Aachen, Germany, Sept 2001

    Google Scholar 

  3. Bonet, P., Lladó, C.M., Puijaner, R., Knottenbelt, W.J.: Pipe v2. 5: a Petri net tool for performance modelling. In: Proceedings of the 23rd Latin American Conference on Informatics (2007)

    Google Scholar 

  4. Boucheneb, H., Lime, D., Roux, O.H.: On multi-enabledness in time Petri nets. In: PETRI NETS 2013: Application and Theory of Petri Nets and Concurrency, pp. 130–149 (2013)

    Google Scholar 

  5. Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)

    Article  Google Scholar 

  6. Browne, E., Schrefl, M., Warren, J.: A two tier, goal-driven workflow model for the healthcare domain. In: Proceedings of the 5th International Conference on Enterprise Information Systems. Angers, France (2003)

    Google Scholar 

  7. Dwivedi, A., Bali, R.K., Wickramasinghe, N., Nagui, R.N.G.: How workflow management systems enable the achievement of value driven healthcare delivery. Int. J. Electron. Healthc. 3, 382–393 (2007)

    Article  Google Scholar 

  8. Deng, Y., Wang, J., Tsai, J.: Formal analysis of software security architectures. In: Proceedings 5th International Symposium on Autonomous Decentralized Systems, pp. 426–434. Dallas (2001)

    Google Scholar 

  9. Dotoli, M., Fanti, M.P., Iacobellis, G., Martino, L., Moretti, A.M., Ukovich, W.: Modeling and management of a hospital department via Petri nets. In: IEEE Workshop on Health Care Management (2010)

    Google Scholar 

  10. Dixon, C.A., Punguyire, D., Mahabee-Gittens, M., Ho, M., Lindsell, C.J.: Patient flow analysis in resource-limited settings: a practical tutorial and case study. Glob. Health: Sci. Pract. 3(1), 126–134 (2015). https://doi.org/10.9745/GHSP-D-14-00121

  11. Envision Healthcare: Emergency Department Operations Management and Patient Flow. An Envision Playbook—Best Practices, Tools and Timelines. https://www.envisionphysicianservices.com/campaigns/breakthrough-series/presentation-materials/playbooks/ed-operations-management-and-patient-flow-playbook.pdf (2017)

  12. Fanti, M., Mangni, A., Dotoli, M., Ukovich, W.: A three-level strategy for the design and performance evaluation of hospital departments. IEEE Trans. Syst. Man Cybernet. Syst. 43(4), 742–756 (2013)

    Google Scholar 

  13. Horváth, Á., Molnár, A.: TiPeNeSS: a timed Petri net simulator software with generally distributed firing delays. In: SIMUTOOLS 2015. Athens, Greece (2015)

    Google Scholar 

  14. Hirel, C., Tuffin, B., Trivedi, K.S.: SPNP: stochastic Petri nets. Version 6.0. In: Computer Performance Evaluation. Modelling Techniques and Tools, pp. 354–357. Springer (2000)

    Google Scholar 

  15. Jensen, K.: Staffing your emergency department efficiently, effectively and safely: core concepts. https://www.envisionphysicianservices.com/campaigns/breakthrough-series/presentation-materials/presentations/09-staffing-your-ed-core-concepts.pdf (2017)

  16. Marsan, M.A., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, pp. 132–145. Springer, Berlin, Heidelberg (1987)

    Google Scholar 

  17. Mahulea, C., Mahulea, L., García-Soriano, J., Colom, J.: Modular Petri net modeling of healthcare systems. Flex. Serv. Manuf. J. Spec. Issue Anal. Des. Manag. Health Care Syst. (2017)

    Google Scholar 

  18. Molloy, M.K.: On the integration of delay and throughput measures in distributed processing models. Ph.D. thesis. UCLA, Los Angeles, CA (1981)

    Google Scholar 

  19. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  20. Poulymenopoulou, M., Malamateniou, F., Vassilacopoulos, G.: Emergency healthcare process automation using workflow technology and web services. Inform. Health Soc. Care 28(3), 195–207 (2003)

    Google Scholar 

  21. Song, X., Hwong, B., Matos, G., Rudorfer, A., Nelson, C., Han, M., Girenkov, A.: Understanding requirements for computer-aided healthcare workflows. In: Proceedings of International Conference on Software Engineering: Experiences and Challenges, pp. 930–934 (2006)

    Google Scholar 

  22. Wang, J., Li, D.: Resource oriented workflow nets and workflow resource requirement analysis. Int. J. Software Eng. Knowl. Eng. 23(5), 667–693 (2013)

    Article  Google Scholar 

  23. Wang, J., Tian, J., Sun, R.:. Emergency healthcare resource requirement analysis: a stochastic timed Petri net approach. In: 2018 IEEE 15th International Conference on Networking, Sensing and Control, IEEE, Mar 2018

    Google Scholar 

  24. Wang, J., Tepfenhart, W., Rosca, D.: Emergency response workflow resource requirements modeling and analysis. IEEE Trans. Syst. Man Cybern. Part C 39(3), 270–283 (2009)

    Article  Google Scholar 

  25. Wang, J.: Emergency healthcare workflow modeling and timeliness analysis. IEEE Trans. Syst. Man Cybern. Part A 42(6), 1323–1331 (2012)

    Article  Google Scholar 

  26. Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers (1998)

    Google Scholar 

  27. Wang, J.: Formal Methods in Computer Science. CRC Press (2019)

    Google Scholar 

  28. Wolf, L., Perhats, C., Delao, A., Clark, P., Moon, M.: On the threshold of safety: a qualitative exploration of nurses’ perceptions of factors involved in safe staffing levels in emergency departments. J. Emerg. Nurs. 43, 150–157 (2017)

    Article  Google Scholar 

  29. Yankovic, N., Greenn, L.: Identifying good nursing levels: a queuing approach. Oper. Approach 59, 942–955 (2011)

    MathSciNet  MATH  Google Scholar 

  30. Zimmermann, A., Knoke, M.: TimeNET 4.0: a software tool for the performability evaluation with stochastic and colored Petri nets; user manual. TU, Professoren der Fak. IV (2007)

    Google Scholar 

  31. Zhou. J., Wang, J., Wang, J.: A simulation engine for stochastic timed petri nets and application to emergency healthcare systems. IEEE/CAA J. Autom. Sin. 6(4), 969–980 (2019)

    Google Scholar 

  32. van der Aalst, W.M.P.: Verification of workflow nets. In: Proceedings of application and theory of Petri nets, vol. 1248. Lecture Notes in Computer Science, pp. 407–426 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Software Engineering, Monmouth University, West Long Branch, NJ, USA

    Jiacun Wang

Authors
  1. Jiacun Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jiacun Wang .

Editor information

Editors and Affiliations

  1. Department of Informatics, Aristotle University of Thessaloniki, Thessaloniki, Greece

    Petros Nicopolitidis

  2. Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal, India

    Sudip Misra

  3. Department of Computer Science, St. Francis Xavier University, Antigonish, NS, Canada

    Laurence T. Yang

  4. Department of Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA

    Bernard Zeigler

  5. Dalian University of Technology, Dalian, China

    Zhaolng Ning

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Wang, J. (2022). Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets. In: Nicopolitidis, P., Misra, S., Yang, L.T., Zeigler, B., Ning, Z. (eds) Advances in Computing, Informatics, Networking and Cybersecurity. Lecture Notes in Networks and Systems, vol 289. Springer, Cham. https://doi.org/10.1007/978-3-030-87049-2_6

Download citation

Publish with us

Policies and ethics

Search

Navigation