On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets

Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj

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.

Paper Citation

in Harvard Style

Benna A., Masmoudi F., Sellami M., Maamar Z. and Hadjidj R. (2022). On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-568-5, pages 243-250. DOI: 10.5220/0010971900003176

in Bibtex Style

@conference{enase22,
author={Amel Benna and Fatma Masmoudi and Mohamed Sellami and Zakaria Maamar and Rachid Hadjidj},
title={On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets},
booktitle={Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2022},
pages={243-250},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010971900003176},
isbn={978-989-758-568-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets
SN - 978-989-758-568-5
AU - Benna A.
AU - Masmoudi F.
AU - Sellami M.
AU - Maamar Z.
AU - Hadjidj R.
PY - 2022
SP - 243
EP - 250
DO - 10.5220/0010971900003176