References
- Dixon, J., Tenkorang, E. Y., and Luginaah, I.: Ghana's National Health Insurance Scheme: a national level investigation of members' perceptions of service provision. BMC International Health and Human Rights, 13(1), 1-10 (2013). https://doi.org/10.1186/1472-698X-13-1
- Preker, A. S., Lindner, M. E., Chernichovsky, D., and Schellekens, O. P.: Scaling up affordable health insurance: staying the course. World Bank Publications, (Eds.) p 24 (2013)..
- Dake, F. A.: Examining equity in health insurance coverage: an analysis of Ghana's National Health Insurance Scheme. 10 (2018).
- United Nations.: Full Report of the Open Working Group of the General on Sustainable Development Goals. Document number: A/68/970. 2014. http://undocs.org/A/68/970. Accessed 2 November 2021.
- The World Health Organization.: Universal Health Coverage. 2021. https://www.who.int/health-topics/universal-health-coverage#tab=tab_1accessed 2 November 2021.
- Alhassan, R. K., Nketiah-Amponsah, E., and Arhinful, D. K.: A review of the National Health Insurance Scheme in Ghana: what are the sustainability threats and prospects? PloS one, 11(11) (2016), e0165151. https://doi.org/10.1371/journal.pone.0165151
- Abiiro, G. A. and McIntyre, D.: Universal financial protection through National Health Insurance: a stakeholder analysis of the proposed one-time premium payment policy in Ghana. Health policy and planning, 28(3), 263-278 (2013). https://doi.org/10.1093/heapol/czs059
- Pizer, W. A., and Sexton, S.: The distributional impacts of energy taxes. Review of Environmental Economics and Policy, volume 13, issue 1, pp. 104-123 (2020). doi: 10.1093/reep/rey021
- Williams III, R. C., Gordon, H., Burtraw, D., Carbone, J. C., and Morgenstern, R. D.: The initial incidence of a carbon tax across income groups. National Tax Journal, 68(1), 195-213 (2015). https://doi.org/10.17310/ntj.2015.1.09
- Wang, H., Otoo, N., and Dsane-Selby, L.: Ghana National Health Insurance Scheme: improving financial sustainability based on expenditure review. The World Bank (2017)..
- Du, S., Wu, P., Wu, G., Yao, C., and Zhang, L.: The collaborative system workflow management of industrial design based on hierarchical colored petri-net. IEEE Access, 6, 27383-27391 (2018). https://doi.org/10.1109/access.2018.2809439
- Teixeira, M., Lima, R., Oliveira, C., and Maciel, P.: Performance evaluation of service-oriented architecture through stochastic petri nets. In 2009 IEEE International Conference on Systems, Man and Cybernetics, pp. 2831-2836 (2009). IEEE.
- Kaid, H., Al-Ahmari, A., Nasr, E. A., Al-Shayea, A., Kamrani, A. K., Noman, M. A., and Mahmoud, H. A.: Petri net model based on neural network for deadlock control and fault detection and treatment in automated manufacturing systems. IEEE Access, 8, 103219-103235(2020). https://doi.org/10.1109/access.2020.2999054
- Hsieh, F. S.: A hybrid and scalable multi-agent approach for patient scheduling based on Petri net models. Applied Intelligence, 47(4), 1068- 1086 (2017). https://doi.org/10.1007/s10489-017-0935-y
- Santana, J. A. D., Orozco, J. L., Lantigua, D. F., Furka, D., Furka, S., and Cruz, A. G.: Using integrated Bayesian-Petri Net method for individual impact assessment of domino effect accidents. Journal of Cleaner Production, 294, 126236 (2021). https://doi.org/10.1016/j.jclepro.2021.126236
- Shailesh, T., Nayak, A., and Prasad, D.: An UML based performance evaluation of real-time systems using timed Petri net. Computers, 9(4), 94 (2020). https://doi.org/10.3390/computers9040094
- Babu, K. R., and Samuel, P.: Petri net model for resource scheduling with auto scaling in elastic cloud. International Journal of Networking and Virtual Organisations, 22(4), 462-477 (2020). https://doi.org/10.1504/ijnvo.2020.10028259
- Li, X. Y., Liu, Y., Lin, Y. H., Xiao, L. H., Zio, E., and Kang, R.: A generalized petri net-based modeling framework for service reliability evaluation and management of cloud data centers. Reliability Engineering & System Safety, 207, 107381 (2021). https://doi.org/10.1016/j.ress.2020.107381
- Liu, C., Zeng, Q., Duan, H., Wang, L., Tan, J., Ren, C., and Yu, W.: Petri net based data-flow error detection and correction strategy for business processes. IEEE Access, 8, 43265-43276 (2020).. https://doi.org/10.1109/access.2020.2976124
- Ling, S., and Schmidt, H.: Time Petri nets for workflow modelling and analysis. In Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics.'cybernetics evolving to systems, humans, organizations, and their complex interactions'(cat. no. 0 (Vol. 4, pp. 3039-3044) (2000). IEEE.
- Li, J., Fan, Y., and Zhou, M.: Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 33(2), 179-193 (2003). https://doi.org/10.1109/TSMCA.2003.811771