Oukas, NourredineDjouabri, AbderrezakBoulif, Menouar2023-05-242023-05-242022https://dspace.univ-boumerdes.dz/handle/123456789/11598During charging-discharging operations, the batteries of the Internet of Things (IoT) devices are subject to a depletion that should be considered when predicting their lifetime. This paper proposes a new modeling for the IoT autonomous devices (AD) using Colored Generalized Stochastic Petri Nets (CGSPN). The ADs we consider are equipped with an energy harvesting system, and use a wireless link to connect with their neighbors. The CGSPN formulation models AD functionalities, and evaluates their impact on the battery lifetime by considering its state of health (SoH). The conducted analysis shows the ability of the proposed model to predict the ADs’ lifetime which is very critical for medical applicationsenIoTAutonomous devicesRechargeable batteryEnergy harvestingBattery State of HealthColored Petri netOther