On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets
Source of Publication
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering
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.
SCITEPRESS - Science and Technology Publications
Composition, Consumption, Petri Net, Resource
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Benna, Amel; Masmoudi, Fatma; Sellami, Mohamed; Maamar, Zakaria; and Hadjidj, Rachid, "On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets" (2022). All Works. 5038.
Indexed in Scopus
Open Access Type
Hybrid: This publication is openly available in a subscription-based journal/series