Abstract
This paper treat the design of the sequence organization and then the optimization of a discrete event system (DES) modelled by Temporal Petri Net (T-PN) comprising a set of specifications corresponding to time intervals to activate or access another event. A Petri net is a well-known model that describes distributed systems. It is commonly used to describe various aspects of distributed systems, such as choice and synchronization.
This paper focuses on the organizing problems in the hospitalization domain during the Covid-19 pandemic. We advocate the use of a real time approach based on TemporalPN and mathematical modeling to help drive the healthcare system in the face of occurrence of this type of giving many patients currently, which requires rethinking the predictive decision. The proposed solution permits to optimize the time to find all empty rooms using PN Temporal and the Dijkstra approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Wang, Q., Wang, Z.: Hybrid heuristic search based on Petri net for MS scheduling. Energy Procedia 17, 506–512 (2012)
Chang, Y., Lin, C., Tsain, J., Hing, C.T.: Infection control measure of a Taiwanes hospital to confront the Covid_19 pandamic. Med. Sci. 19 (2020)
Lei, H., Xing, K., Han, L., Xiong, F., Ge, Z.: Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search. Comput. Ind. Eng. 72, 297–305 (2014)
Xiong, H.H., Zhou, M.: Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Trans. Semicond. Manuf. 11(3), 384–393 (1998)
Jeng, M.D., Chen, S.C.: Heuristic search approach using approximate solutions to Petri net state equations for scheduling flexible manufacturing systems. Int. J. Flexible Manuf. Syst. 10(2), 139–162 (1998)
Zhang, W., Freiheit, T., Yang, H.: Dynamic scheduling in a flexible assembly system based on a timed Petri nets model. Robot. Comput. Integr. Manuf. 21(6), 550–558 (2005)
MejÃa, G., Caballero-Villalobos, J.P., Montoya, C.: Petri nets and deadlock-free scheduling of open shop manufacturing systems. IEEE Trans. Syst. Man, Cybern. Syst. 48(6), 1017–1028 (2018)
MejÃaand, G., Niño, K.: Anew Hybrid Filtered Beam Search Algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri nets. Comput. Ind. Eng. 108, 165–176 (2017)
Pan, L., Ding, Z.J., Zhou, M.C.: A configurable state class method for temporal analysis of time Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 44(4), 482–493 (2014)
Zhu, Q., Zhou, M., Qiao, Y., Wu, N.: Petri net modelling and scheduling of a close-down process for time-constrained single-arm cluster tools. IEEE Trans. Syst. Man Cybern. Syst. 48(3), 389–400 (2018)
Tarek, A., Lopez-Benitez, N.: Optimal legal firing sequence of Petri nets using linear programming. Optim. Eng. 5(1), 25–43 (2004)
Hu, H., Su, R., Zhou, M., Liu, Y.: Polynomially complex synthesis of distributed supervisors for large-scale AMSs using Petri Nets. IEEE Trans. Control Syst. Tech. 24(5), 1–13 (2015)
Lefebvre, D., Leclercq, E.: Control design for trajectory tracking with untimed Petri nets. IEEE Trans. Autom. Control 60(7), 1921–1926 (2015)
Lefebvre, D.: Approaching minimal time control sequences for timed Petri nets. IEEE Trans. Autom. Sci. Eng. 13(2), 1215–1221 (2016)
de Albuquerque, G.A., Maciel, P., Lima, R.M.F., Magnani, F.: Strategic and tactical evaluation of conflicting environment and business goals in green supply chains. IEEE Trans. Syst. Man Cybern. Syst. 43(5), 1013–1027 (2013)
Lefebvre, D., Daoui, C.: Control design for untimed Petri nets using Markov decision processes. J. Oper. Res. Decis. 27(4), 28–43 (2017)
Berthomieu, B., Menasche, M.: An enumerative approach for analysing time Petri nets. In: Proceedings of IFIP Congress, pp. 41–46 (1983)
Berthomieu, B., Vernadat, F.: State class constructions for branching analysis of time Petri Nets. In: Garavel, H., Hatcliff, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2003. Lecture Notes in Computer Science, vol. 2619. Springer, Berlin (2003). https://doi.org/10.1007/3-540-36577-X_33
Gardey, G., Roux, O.H., Roux, O.F.: Using Zone graph method for computing the state space of a time Petri net. In Formal Modelling and Analysis of Timed Systems (2000)
Wu et Wu, S.D., Storer, R.H., Chang, P.C.: One machine rescheduling heuristics with efficiency and stability as criteria. Comput. Oper. Res. 20, 1–14 (1993)
Lube, J., Awel, D., Mogga, J.: 17 merch 2021 COVID-19 case management strategies: what are the options for Africa. Infectious Diseases of poverty. N 30(2021). 17 Mar 2021
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
El Bazzazi, A., El Akraoui, B., Larach, A. (2022). Hospital Room Management for Covid-19 Patients Using Petri Nets. In: Fakir, M., Baslam, M., El Ayachi, R. (eds) Business Intelligence. CBI 2022. Lecture Notes in Business Information Processing, vol 449. Springer, Cham. https://doi.org/10.1007/978-3-031-06458-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-031-06458-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-06457-9
Online ISBN: 978-3-031-06458-6
eBook Packages: Computer ScienceComputer Science (R0)