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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
Editors	Hermann Kaindl, Mike Mannion, Leszek Maciaszek, Leszek Maciaszek
Publisher	Science and Technology Publications, Lda
Pages	243-250
Number of pages	8
ISBN (Electronic)	9789897585685
DOIs	https://doi.org/10.5220/0010971900003176
Publication status	Published - 1 Jan 2022
Event	17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022 - Virtual, Online Duration: 25 Apr 2022 → 26 Apr 2022

Publication series

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

Conference

Conference	17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022
City	Virtual, Online
Period	25/04/22 → 26/04/22

Keywords

Composition
Consumption
Petri Net
Resource

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.5220/0010971900003176

Cite this

Benna, A., Masmoudi, F., Sellami, M., Maamar, Z., & Hadjidj, R. (2022). On Modelling and Analyzing Composite Resources’ Consumption Cycles using Time Petri-Nets. In 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 (pp. 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. editor / Hermann Kaindl ; Mike Mannion ; Leszek Maciaszek ; Leszek Maciaszek. Science and Technology Publications, Lda, 2022. pp. 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 – 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In Kaindl H, Mannion M, Maciaszek L, Maciaszek L, editors, 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

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Fingerprint

Cite this