Abstract
This paper examines the impact of disruptions on consumption cycles of resources. Such a cycle consists of states and transitions that depict how a resource is prepared, consumed, locked, unlocked, and withdrawn. It happens that events like last-minute upgrades and urgent fixes arise disrupting the resource’s ongoing consumption. Disruption leads to suspending an ongoing consumption to accommodate these events according to 3 scenarios referred to, in this paper, as co-existence, taking turns, and co-existence/taking turns. To verify the correctness of the resources’ consumption cycles with respect to each scenario, Petri Nets (PN) are developed linking this verification to properties like liveness and deadlock freeness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Resumption conditions vary according to the resource’s type and consumption property. Conditions could be availability for l resources and access rights for ns resources.
- 3.
Thanks to immediate-resumption transition.
- 4.
Consumption synchronization does not fall into the scope of this paper.
- 5.
Another resource consumption starts after the renewal.
- 6.
End of consumption cycle.
- 7.
1\(^{st}\) suspension that will be followed by other “artificial” suspensions to allow either the planned operations or the unplanned operations to resume resource consumption.
- 8.
No consumption renewal is requested by the planned operations.
References
Baker, T., Ugljanin, E., Faci, N., Sellami, M., Maamar, Z., Kajan, E.: Everything as a resource: foundations and illustration through Internet-of-Things. Comput. Ind. 94 (2018)
Bong Wan, C.: Petri Net approaches for modeling, controlling, and validating flexible manufacturing systems. Ph.D thesis, Iowa State University (1994)
Cades, D.M., Werner, N., Trafton, J.G., Boehm-Davis, D.A., Monk, C.A.: Dealing with interruptions can be complex, but does interruption complexity matter: a mental resources approach to quantifying disruptions. Proc. Hum. Fact. Ergon. Soc. 1, 09 (2008)
Fernández, E., Bogado, V., Salomone, E., Chiotti, O.: Framework for modelling and simulating the supply process monitoring to detect and predict disruptive events. Comput. Ind. 80, 30–42 (2016)
Hadjidj, R., Boucheneb, H.: RT-studio: a tool for modular design and analysis of realtime systems using interpreted time Petri Nets. In: Joint Proceedings of PNSE 2013 and ModBE 2013, Milan, Italy (2013)
Little, M.: Transactions and web services. Commun. ACM 46(10), 49–54 (2003)
Maamar, Z., Faci, N., Sakr, S., Boukhebouze, M., Barnawi, A.: Network-based social coordination of business processes. Inf. Syst. 58, 56–74 (2016)
Maamar, Z., Sellami, M., Masmoudi, F.: A transactional approach to enforce resource availabilities: application to the cloud. In: Cherfi, S., Perini, A., Nurcan, S. (eds.) RCIS 2021. LNBIP, vol. 415, pp. 249–264. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-75018-3_16
Peterson, J.L.: Petri Nets. ACM Comput. Surv. 9(3), 223–252 (1977)
Puvvadi, U., Desu, A., Stachecki, T., Ghose, K., Sammakia, B.: An adaptive approach for dealing with flow disruption in virtualized water-cooled data centers. In: Proceedings of CLOUD 2019, Milan, Italy (2019)
Ristov, S., Fahringer, T., Peer, D., Pham, T.P., Gusev, M., Mas-Machuca, C.: Resilient techniques against disruptions of volatile cloud resources. In: Rak, J., Hutchison, D. (eds.) Guide to Disaster-Resilient Communication Networks. Computer Communications and Networks, pp. 379–400. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44685-7_15
Zaman, F., Elsayed, S.M., Sarker, R.A., Essam, D.: Resource constrained project scheduling with dynamic disruption recovery. IEEE Access 8, 144866–144879 (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Maamar, Z., Masmoudi, F., Kajan, E. (2022). An Approach for Mitigating Disruptions on Resources’ Consumption Cycles. In: Barolli, L., Hussain, F., Enokido, T. (eds) Advanced Information Networking and Applications. AINA 2022. Lecture Notes in Networks and Systems, vol 449. Springer, Cham. https://doi.org/10.1007/978-3-030-99584-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-99584-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-99583-6
Online ISBN: 978-3-030-99584-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)