Title

An Approach for Mitigating Disruptions on Resources’ Consumption Cycles

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.

ISSN

Publisher

Springer International Publishing

Volume

449

First Page

1

Last Page

12

Disciplines

Business

Indexed in Scopus

no

Open Access

no

Share

COinS