Modeling of Ebola Surveillance Flow Diagram Using Coloured Petri Nets
DOI:
https://doi.org/10.33003/Keywords:
Community-based surveillance, Coloured Petri Nets, Ebola Surveillance, Ebola Virus Disease, Infectious Disease ModelingAbstract
The recent outbreak of Ebola virus Disease (EVD) in the Democratic Republic of Congo (DRC) and Uganda in May 2026 has shown that the Ebola virus is still a threat to the public health system globally after the 2014-2016 pandemic that claimed the lives of 11,325 persons. The containment of Ebola virus disease outbreaks depends largely on the correctness of the epidemiological surveillance systems. Thus, this paper used CPN Tools 4.0 to translate the Ebola Virus Disease surveillance flow diagram into an executable Coloured Petri Nets (CPN) Model. By utilizing CPN 4.0 Tools, we modeled various phases of the EVD surveillance flow diagram, such as case detection, symptom evaluation, laboratory testing, and referral, into an executable hierarchical CPN model. The developed EVD surveillance flow CPN model was analyzed using state space methods. Simulation results show that the developed CPN model effectively capture the various activities such as case detection, symptom evaluation, laboratory testing and referral module. This work will assist public health authorities to analyze and digitize EVD surveillance against future outbreak of the disease.
References
Abah R.T., Abraham B.Z., Kayode O., Adejimi A. (2024), Mathematical analysis and simulation of Ebola virus disease spread incorporating mitigation measures, Franklin Open, 6, 1-16
Ganiyu R.A, Olabiyisi S. O., Badmus T.A., Akingbade O.Y. (2015), Development of a Timed Coloured Petri Nets Model for Health Centre Patient Care Flow Processes, International Journal Of Engineering And Computer Science, 4 (1), 9954-9961
Gehlot V., Jake R., Manisha T., Elliot B.S., Nilmini W. (2021), Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows, Proceedings of the 2021 Winter Simulation Conference, 1-12
Jensen K., and Kristensen M.L. (2009), Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems, Springer Dordrecht Heidelberg London New York, pp 1-382, DOI 10.1007/b95112
Kristensen, L.M., Søren, C. and Kurt, J. (1998). The practitioner’s guide to coloured Petri nets. International Journal of STTT. Springer-Verlag. pp 98-132.
Kristensen, L.M., Mitchell, B., Zhang, L. and Billington, J. (2002). Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri nets. In proceedings of Workshop on Formal Methods Applied to Defense Systems, Australian Computer Society volume 12 in Conferences in Research and Practice in Information Technology. pp 105-114.
Laupland B. K. and Valiquette L. (2014) Ebola virus disease, Adult Infectious Diseases Notes, 1-2
Lalita T., and Wiwat V. (2019), Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets, Conference ICIT 2019 IOT and Smart City, 338 -342
Lumsden, S., Smallwood, R., Mitchell. B. and Zhang. L. (2002). Modelling Operational Level Planning Processes with Coloured Petri Nets. 7th International Command and Control Research and Technology Symposium. 1-15.
Okeeffe J., Emi T., Otshudiema J. O., Malembi E., Ndaliko C., Mutimatonda M. N., Caleo G., and Antonio I. C. M. (2023), Strengthening community-based surveillance: lessons learned from the 2018–2020 Democratic Republic of Congo (DRC) Ebola outbreak, Conflict and Health, pp 1-11.
Okpor, J., Apeh, S.T. (2021). Modeling and Analysis of Framework for the Implementation of a Virtual Workplace in Nigerian Universities Using Coloured Petri Nets. In: Vasant, P., Zelinka, I., Weber, GW. (eds) Intelligent Computing and Optimization. ICO 2020. Advances in Intelligent Systems and Computing, vol 1324. Springer, Cham. https://doi.org/10.1007/978-3-030-68154-8_39Peng Lie, Penghui Xie, Zhe Tang, Fei Liu (2021), Modeling and Analyzing Transmission of Infectious Diseases Using Generalized Stochastic Petri Nets. Applied. Sciences, Vol. 11, pp 1-18 https://doi.org/10.3390/app11188400
US, Centers for Disease Control, Ebola Outbreak Current Situation, www.cdc.gov accessed on 28th June, 2026
Zaitsev A. D. Ghaffari P. Sanchez V.S. (2022), Modeling Ebola Virus Dynamics by Colored Petri Nets, Proceedings of CECNet 2021, 707 -715
Downloads
Published
Issue
Section
Categories
License
Copyright (c) 2026 James Okpor, Foghor Tanshi
This work is licensed under a Creative Commons Attribution 4.0 International License.
