TY - GEN
T1 - On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets
AU - Benna, Amel
AU - Masmoudi, Fatma
AU - Sellami, Mohamed
AU - Maamar, Zakaria
AU - Hadjidj, Rachid
N1 - Publisher Copyright:
Copyright © 2022 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
KW - Composition
KW - Consumption
KW - Petri Net
KW - Resource
UR - http://www.scopus.com/inward/record.url?scp=85140961534&partnerID=8YFLogxK
U2 - 10.5220/0010971900003176
DO - 10.5220/0010971900003176
M3 - Conference contribution
AN - SCOPUS:85140961534
T3 - International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings
SP - 243
EP - 250
BT - Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
A2 - Kaindl, Hermann
A2 - Mannion, Mike
A2 - Maciaszek, Leszek
A2 - Maciaszek, Leszek
PB - Science and Technology Publications, Lda
T2 - 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
Y2 - 25 April 2022 through 26 April 2022
ER -