Document Type

Conference Proceeding

Source of Publication

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering

Publication Date

1-1-2022

Abstract

ICT community cornerstones (IoT in particular) gain competitive advantage from using physical resources. This paper adopts Time Petri-Nets (TPNs) to model and analyze the consumption cycles of composite resources. These resources consist of primitive, and even other composite, resources that are associated with consumption properties and could be subject to disruptions. These properties are specialized into unlimited, shareable, limited, limited-but-renewable, and non-shareable, and could impact the availability of resources. This impact becomes a concern when disruptions suspend ongoing consumption cycles to make room for the unplanned consumptions. Resuming the suspended consumption cycles depends on the resources’ consumption properties. To ensure correct modeling and analysis of consumption cycles, whether disrupted or not, TPNs are adopted to verify that composite resources are reachable, bound, fair, and live.

Publisher

SCITEPRESS - Science and Technology Publications

First Page

243

Last Page

250

Disciplines

Computer Sciences

Keywords

Composition, Consumption, Petri Net, Resource

Indexed in Scopus

no

Open Access

yes

Open Access Type

Hybrid: This publication is openly available in a subscription-based journal/series

Download

Share

COinS