TY - GEN
T1 - An Approach for Mitigating Disruptions on Resources’ Consumption Cycles
AU - Maamar, Zakaria
AU - Masmoudi, Fatma
AU - Kajan, Ejub
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85128688997&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-99584-3_1
DO - 10.1007/978-3-030-99584-3_1
M3 - Conference contribution
AN - SCOPUS:85128688997
SN - 9783030995836
T3 - Lecture Notes in Networks and Systems
SP - 1
EP - 12
BT - Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications AINA-2022
A2 - Barolli, Leonard
A2 - Hussain, Farookh
A2 - Enokido, Tomoya
PB - Springer Science and Business Media Deutschland GmbH
T2 - 36th International Conference on Advanced Information Networking and Applications, AINA 2022
Y2 - 13 April 2022 through 15 April 2022
ER -