An Approach for Mitigating Disruptions on Resources’ Consumption Cycles

Author First name, Last name, Institution

Zakaria Maamar, Zayed University
Fatma Masmoudi, Prince Sattam Bin Abdulaziz University
Ejub Kajan, State University of Novi Pazar

Document Type

Book Chapter

Source of Publication

Lecture Notes in Networks and Systems

Publication Date

3-31-2022

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.

DOI Link

10.1007/978-3-030-99584-3_1

ISSN

85128688997

Recommended Citation

Maamar, Zakaria; Masmoudi, Fatma; and Kajan, Ejub, "An Approach for Mitigating Disruptions on Resources’ Consumption Cycles" (2022). All Works. 4974.
https://zuscholars.zu.ac.ae/works/4974

Indexed in Scopus

yes

Open Access

no