Healthcare Operation Improvement Based on Simulation of Cooperative Resource Preservation Nets for None-Consumable Resources

Healthcare systems are growing very fast, especially emergency departments (EDs) which constitute the major bottleneck of these complex concurrent systems. Emergency departments, where patients arrive without any prior notice, are considered real-time complex dynamic systems. Enhancing these systems requires tailored modeling techniques and a process optimization approach. A new mathematical approach is proposed in order to help multiple emergency units cooperate and share none-consumable resources to achieve the required flow. To achieve the cooperation, the process is modeled by a new subclass of Petri nets. The new Petri net model was proposed in a previous work and is used in this study in order to tackle the problem of modeling and managing these emergency units. The proposed Petri net is named Resource Preservation Net ( ). Few theorems and lemmas are proposed to support the proposed Petri net model and to prove the correctness of cooperation and resource sharing. In this contribution, a model of cooperative healthcare units is proposed to achieve sound resource sharing and collaboration. The objective function of the proposed model is to improve the key performance indicators: patients length of stay (LoS), resource utilization rates, and patients waiting time. The cooperation among multiple EDs is then proposed through the study of merging two or more units. The cooperative and noncooperative behavior are also studied through theorems of soundness, separability and serializability, and a proof of scalability.

[1]  Ray J. Paul,et al.  Simulation in healthcare management: a soft approach (MAPIU) , 2004, Simul. Model. Pract. Theory.

[2]  Scott Levin,et al.  Accuracy of emergency department triage using the Emergency Severity Index and independent predictors of under-triage and over-triage in Brazil: a retrospective cohort analysis , 2018, International Journal of Emergency Medicine.

[3]  M.A. Centeno,et al.  Enhancing simulation models for emergency rooms using VBA , 1999, WSC'99. 1999 Winter Simulation Conference Proceedings. 'Simulation - A Bridge to the Future' (Cat. No.99CH37038).

[4]  Andre Stephan Baumgart,et al.  An extended Petri net for modeling workflow with critical sections , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

[5]  Wil M. P. van der Aalst,et al.  Challenges in Business Process Management: Verification of Business Processing Using Petri Nets , 2003, Bull. EATCS.

[6]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[7]  Jiacun Wang,et al.  Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach , 2018, 2018 IEEE 15th International Conference on Networking, Sensing and Control (ICNSC).

[8]  Miquel Angel Piera Eroles,et al.  Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology , 2004, Simul..

[9]  Ping-Yu Hsu,et al.  A Petri Net Approach to Support Resource Assignment in Project Management , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  山崎 秀記 On the Structure of Siphons of Petri Nets (Logics, Algebras and Languages in Computer Science) , 2014 .

[11]  Houshang Darabi,et al.  Modeling and integration of hospital information systems with Petri nets , 2009, 2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics.

[12]  Mercedes Pérez de la Parte,et al.  Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets , 2004, Simul..

[13]  Vincent Augusto,et al.  A Modeling and Simulation Framework for Health Care Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  O. Soremekun,et al.  Framework for analyzing wait times and other factors that impact patient satisfaction in the emergency department. , 2011, The Journal of emergency medicine.

[15]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[16]  Cristian Mahulea,et al.  Petri nets with resources for modeling primary healthcare systems , 2014, 2014 18th International Conference on System Theory, Control and Computing (ICSTCC).

[17]  Claudio Altafini,et al.  Spectral Conditions for Stability and Stabilization of Positive Equilibria for a Class of Nonlinear Cooperative Systems , 2018, IEEE Transactions on Automatic Control.

[18]  Qing-Long Han,et al.  A survey on recent advances in distributed sampled-data cooperative control of multi-agent systems , 2018, Neurocomputing.

[19]  M. Dotoli,et al.  Modeling and management of a hospital department via Petri nets , 2010, 2010 IEEE Workshop on Health Care Management (WHCM).

[20]  Peter Kropf,et al.  Applying big data paradigms to a large scale scientific workflow: Lessons learned and future directions , 2020, Future Gener. Comput. Syst..

[21]  Ewout W Steyerberg,et al.  Multiple performance measures are needed to evaluate triage systems in the emergency department. , 2018, Journal of clinical epidemiology.

[22]  Jingshan Li,et al.  A simulation study to improve quality of care in the emergency department of a community hospital. , 2012, Journal of emergency nursing: JEN : official publication of the Emergency Department Nurses Association.

[23]  Richard J Holden,et al.  Lean Thinking in emergency departments: a critical review. , 2011, Annals of emergency medicine.

[24]  Hajo A. Reijers,et al.  Business Process Redesign at a Mental Healthcare Institute: A Coloured Petri Net Approach , 2005 .

[25]  D. Eitel,et al.  Improving service quality by understanding emergency department flow: a White Paper and position statement prepared for the American Academy of Emergency Medicine. , 2010, The Journal of emergency medicine.

[26]  Walter Ukovich,et al.  A Petri net model of an integrated system for the Health Care At Home management , 2014, 2014 IEEE International Conference on Automation Science and Engineering (CASE).

[27]  Ellis Horowitz,et al.  A Formal Model for Software Project Management , 1989, IEEE Transactions on Software Engineering.

[28]  J. Killeen,et al.  Impact of an express admit unit on emergency department length of stay. , 2010, The Journal of emergency medicine.

[29]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[30]  Alan A. Desrochers,et al.  Task planning and project management using Petri nets , 1995, Proceedings. IEEE International Symposium on Assembly and Task Planning.

[31]  A. Kumar,et al.  Use of Petri nets for resource allocation in projects , 1998 .