Skip to main content

An Approach for Mitigating Disruptions on Resources’ Consumption Cycles

  • 448 Accesses

Part of the Lecture Notes in Networks and Systems book series (LNNS,volume 449)


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.

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-99584-3_1
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   219.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-99584-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   279.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.

(adopted from [7])

Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.
Fig. 9.


  1. 1.

  2. 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. 3.

    Thanks to immediate-resumption transition.

  4. 4.

    Consumption synchronization does not fall into the scope of this paper.

  5. 5.

    Another resource consumption starts after the renewal.

  6. 6.

    End of consumption cycle.

  7. 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. 8.

    No consumption renewal is requested by the planned operations.


  1. 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)

    Google Scholar 

  2. Bong Wan, C.: Petri Net approaches for modeling, controlling, and validating flexible manufacturing systems. Ph.D thesis, Iowa State University (1994)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    CrossRef  Google Scholar 

  5. 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)

    Google Scholar 

  6. Little, M.: Transactions and web services. Commun. ACM 46(10), 49–54 (2003)

    CrossRef  Google Scholar 

  7. Maamar, Z., Faci, N., Sakr, S., Boukhebouze, M., Barnawi, A.: Network-based social coordination of business processes. Inf. Syst. 58, 56–74 (2016)

    CrossRef  Google Scholar 

  8. 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).

    CrossRef  Google Scholar 

  9. Peterson, J.L.: Petri Nets. ACM Comput. Surv. 9(3), 223–252 (1977)

    CrossRef  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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).

    CrossRef  Google Scholar 

  12. Zaman, F., Elsayed, S.M., Sarker, R.A., Essam, D.: Resource constrained project scheduling with dynamic disruption recovery. IEEE Access 8, 144866–144879 (2020)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Zakaria Maamar .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Verify currency and authenticity via CrossMark

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.

Download citation