{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T17:57:40Z","timestamp":1762711060520,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030870485"},{"type":"electronic","value":"9783030870492"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-87049-2_6","type":"book-chapter","created":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T05:04:20Z","timestamp":1646283860000},"page":"181-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"Jiacun","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,3]]},"reference":[{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"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\u2013846 (1989)","DOI":"10.1109\/32.29483"},{"key":"6_CR3","unstructured":"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"},{"key":"6_CR4","unstructured":"Bonet, P., Llad\u00f3, 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)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013149 (2013)","DOI":"10.1007\/978-3-642-38697-8_8"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"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\u20139 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"6_CR7","unstructured":"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)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1504\/IJEH.2007.014555","volume":"3","author":"A Dwivedi","year":"2007","unstructured":"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\u2013393 (2007)","journal-title":"Int. J. Electron. Healthc."},{"key":"6_CR9","unstructured":"Deng, Y., Wang, J., Tsai, J.: Formal analysis of software security architectures. In: Proceedings 5th International Symposium on Autonomous Decentralized Systems, pp. 426\u2013434. Dallas (2001)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/WHCM.2010.5441248"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"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\u2013134 (2015). https:\/\/doi.org\/10.9745\/GHSP-D-14-00121","DOI":"10.9745\/GHSP-D-14-00121"},{"key":"6_CR12","unstructured":"Envision Healthcare: Emergency Department Operations Management and Patient Flow. An Envision Playbook\u2014Best Practices, Tools and Timelines. https:\/\/www.envisionphysicianservices.com\/campaigns\/breakthrough-series\/presentation-materials\/playbooks\/ed-operations-management-and-patient-flow-playbook.pdf (2017)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013756 (2013)","DOI":"10.1109\/TSMCA.2012.2217319"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, \u00c1., Moln\u00e1r, A.: TiPeNeSS: a timed Petri net simulator software with generally distributed firing delays. In: SIMUTOOLS 2015. Athens, Greece (2015)","DOI":"10.4108\/eai.24-8-2015.2261343"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Hirel, C., Tuffin, B., Trivedi, K.S.: SPNP: stochastic Petri nets. Version 6.0. In: Computer Performance Evaluation. Modelling Techniques and Tools, pp. 354\u2013357. Springer (2000)","DOI":"10.1007\/3-540-46429-8_30"},{"key":"6_CR16","unstructured":"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)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Marsan, M.A., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, pp. 132\u2013145. Springer, Berlin, Heidelberg (1987)","DOI":"10.1007\/3-540-18086-9_23"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Mahulea, C., Mahulea, L., Garc\u00eda-Soriano, J., Colom, J.: Modular Petri net modeling of healthcare systems. Flex. Serv. Manuf. J. Spec. Issue Anal. Des. Manag. Health Care Syst. (2017)","DOI":"10.1007\/s10696-017-9283-9"},{"key":"6_CR19","unstructured":"Molloy, M.K.: On the integration of delay and throughput measures in distributed processing models. Ph.D. thesis. UCLA, Los Angeles, CA (1981)"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"3","key":"6_CR21","first-page":"195","volume":"28","author":"M Poulymenopoulou","year":"2003","unstructured":"Poulymenopoulou, M., Malamateniou, F., Vassilacopoulos, G.: Emergency healthcare process automation using workflow technology and web services. Inform. Health Soc. Care 28(3), 195\u2013207 (2003)","journal-title":"Inform. Health Soc. Care"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"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\u2013934 (2006)","DOI":"10.1145\/1134285.1134455"},{"issue":"5","key":"6_CR23","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1142\/S0218194013400135","volume":"23","author":"J Wang","year":"2013","unstructured":"Wang, J., Li, D.: Resource oriented workflow nets and workflow resource requirement analysis. Int. J. Software Eng. Knowl. Eng. 23(5), 667\u2013693 (2013)","journal-title":"Int. J. Software Eng. Knowl. Eng."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/ICNSC.2018.8361301"},{"issue":"3","key":"6_CR25","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/TSMCC.2009.2009125","volume":"39","author":"J Wang","year":"2009","unstructured":"Wang, J., Tepfenhart, W., Rosca, D.: Emergency response workflow resource requirements modeling and analysis. IEEE Trans. Syst. Man Cybern. Part C 39(3), 270\u2013283 (2009)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"},{"issue":"6","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1109\/TSMCA.2012.2210206","volume":"42","author":"J Wang","year":"2012","unstructured":"Wang, J.: Emergency healthcare workflow modeling and timeliness analysis. IEEE Trans. Syst. Man Cybern. Part A 42(6), 1323\u20131331 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-1-4615-5537-7"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Wang, J.: Formal Methods in Computer Science. CRC Press (2019)","DOI":"10.1201\/9780429184185"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/j.jen.2016.09.003","volume":"43","author":"L Wolf","year":"2017","unstructured":"Wolf, L., Perhats, C., Delao, A., Clark, P., Moon, M.: On the threshold of safety: a qualitative exploration of nurses\u2019 perceptions of factors involved in safe staffing levels in emergency departments. J. Emerg. Nurs. 43, 150\u2013157 (2017)","journal-title":"J. Emerg. Nurs."},{"key":"6_CR30","first-page":"942","volume":"59","author":"N Yankovic","year":"2011","unstructured":"Yankovic, N., Greenn, L.: Identifying good nursing levels: a queuing approach. Oper. Approach 59, 942\u2013955 (2011)","journal-title":"Oper. Approach"},{"key":"6_CR31","unstructured":"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)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"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\u2013980 (2019)","DOI":"10.1109\/JAS.2019.1911576"},{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013426 (1997)","DOI":"10.1007\/3-540-63139-9_48"}],"container-title":["Lecture Notes in Networks and Systems","Advances in Computing, Informatics, Networking and Cybersecurity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87049-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T12:30:17Z","timestamp":1651149017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87049-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030870485","9783030870492"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87049-2_6","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}