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

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

doi:10.5220/0010971900003176

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

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

Centre de Recherche sur l’Information Scientifique et Technique
Prince Sattam Bin Abdulaziz University
Zayed University
Department of Computer Science
ABMMC

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
rédacteurs en chef	Hermann Kaindl, Mike Mannion, Leszek Maciaszek, Leszek Maciaszek
Editeur	Science and Technology Publications, Lda
Pages	243-250
Nombre de pages	8
ISBN (Electronique)	9789897585685
Les DOIs	https://doi.org/10.5220/0010971900003176
état	Publié - 1 janv. 2022
Evénement	17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022 - Virtual, Online Durée: 25 avr. 2022 → 26 avr. 2022

Série de publications

Nom	International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings
ISSN (Electronique)	2184-4895

Une conférence

Une conférence	17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
La ville	Virtual, Online
période	25/04/22 → 26/04/22

SDG des Nations Unies

Ce résultat contribue à ou aux Objectifs de développement durable suivants

SDG 7 Énergie abordable et propre

Accès au document

10.5220/0010971900003176

Contient cette citation

Benna, A., Masmoudi, F., Sellami, M., Maamar, Z., & Hadjidj, R. (2022). On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. Dans H. Kaindl, M. Mannion, L. Maciaszek, & L. Maciaszek (eds.), Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022 (p. 243-250). (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings). Science and Technology Publications, Lda. https://doi.org/10.5220/0010971900003176

Benna, Amel ; Masmoudi, Fatma ; Sellami, Mohamed et al. / On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022. Editeur / Hermann Kaindl ; Mike Mannion ; Leszek Maciaszek ; Leszek Maciaszek. Science and Technology Publications, Lda, 2022. p. 243-250 (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).

@inproceedings{23d72307b52d41d2856755480e09e4ed,

title = "On Modelling and Analyzing Composite Resources{\textquoteright} Consumption Cycles using Time Petri-Nets",

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{\textquoteright} 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.",

keywords = "Composition, Consumption, Petri Net, Resource",

author = "Amel Benna and Fatma Masmoudi and Mohamed Sellami and Zakaria Maamar and Rachid Hadjidj",

note = "Publisher Copyright: Copyright {\textcopyright} 2022 by SCITEPRESS {\textendash} Science and Technology Publications, Lda. All rights reserved.; 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022 ; Conference date: 25-04-2022 Through 26-04-2022",

year = "2022",

month = jan,

day = "1",

doi = "10.5220/0010971900003176",

language = "English",

series = "International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings",

publisher = "Science and Technology Publications, Lda",

pages = "243--250",

editor = "Hermann Kaindl and Mike Mannion and Leszek Maciaszek and Leszek Maciaszek",

booktitle = "Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022",

}

Benna, A, Masmoudi, F, Sellami, M, Maamar, Z & Hadjidj, R 2022, On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. Dans H Kaindl, M Mannion, L Maciaszek & L Maciaszek (eds), Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022. International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings, Science and Technology Publications, Lda, p. 243-250, 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Virtual, Online, 25/04/22. https://doi.org/10.5220/0010971900003176

On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. / Benna, Amel; Masmoudi, Fatma; Sellami, Mohamed et al.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022. Ed. / Hermann Kaindl; Mike Mannion; Leszek Maciaszek; Leszek Maciaszek. Science and Technology Publications, Lda, 2022. p. 243-250 (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

PY - 2022/1/1

Y1 - 2022/1/1

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

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

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 -

Benna A, Masmoudi F, Sellami M, Maamar Z, Hadjidj R. On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. Dans Kaindl H, Mannion M, Maciaszek L, Maciaszek L, rédacteurs en chef, Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022. Science and Technology Publications, Lda. 2022. p. 243-250. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings). doi: 10.5220/0010971900003176

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

Résumé

Série de publications

Une conférence

SDG des Nations Unies

Accès au document

Empreinte digitale

Contient cette citation