On modelling and analyzing composite resources’ consumption cycles using Time Petri-Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

On modelling and analyzing composite resources’ consumption cycles using Time Petri-Nets

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.

Dates et versions

hal-03657309 , version 1 (02-05-2022)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Amel Benna, Fatma Masmoudi, Mohamed Sellami, Zakaria Maamar, Rachid Hadjidj. On modelling and analyzing composite resources’ consumption cycles using Time Petri-Nets. ENASE 2022: 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online, France. pp.243-250, ⟨10.5220/0010971900003176⟩. ⟨hal-03657309⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More