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.