Hybrid Cyber Petri net Modelling, Simulation and Analysis of Master-Slave Charging for Wireless Rechargeable Sensor Networks

Abstract

Wireless charging provides continuous energy for wireless sensor networks. However, it is difficult to replenish enough energy for all sensor nodes with fixed charging alone, and even more unrealistic to charge a large number of nodes within a short time via mobile charging. In order to overcome the above weaknesses, this paper firstly puts forward a Master-Slave Charging mode for the WRSN (Wireless Rechargeable Sensor Network), where fixed charging is the master mode and mobile charging is the slave mode, respectively. However, Master-Slave Charging is a typical hybrid system involving discrete event decision and continuous energy transfer. Therefore, the Hybrid Cyber Petri net system is proposed to build a visual specification with mathematical expression of Master-Slave Charging. Moreover, wireless charging in the WRSN is modeled and evaluated from the perspective of a hybrid system for the first time. Furthermore, a greedy-genetic algorithm is proposed to obtain the deployment of fixed chargers and the path planning of a mobile charger, by maximizing the actual electric quantity of the master charging problem and minimizing the mobile charger’s travelling path of the slave charging problem. Finally, the simulation results confirm and verify the Hybrid Cyber Petri net model for Master-Slave Charging. It is worth noting that the proposed model in this paper is highly adaptable to various charging modes in the WRSN.

Dynamic Synchronization Modeling and Simulation of Video Sensing Nodes Based on Internet of Things

“…Qin et al conducted an in-depth study on time-extended Petri nets and described reliability by using their good scalability. Finally, a relatively perfect time-expanded Petri net SRG model evaluation scheme was formed, and it was applied to the actual embedded modeling process with good results [10]. Pan et al studied the partition of software and hardware with dual-objective multichoice and proposed a heuristic algorithm to generate approximate solutions quickly, using a custom tabu search algorithm, an improved approximate solution algorithm, and a dynamic programming algorithm that quickly computes an exact solution; the hardware and software partitioning is studied [11].…”

Petri-Net Based Multi-Objective Optimization in Multi-UAV Aided Large-Scale Wireless Power and Information Transfer Networks

“…In addition, they focused on using developed timed Petri nets to model variable traffic light control systems to analyze the performance of urban traffic networks [44]. In our previous work, a generalized synchronizing colored cyber Petri net was proposed to establish the fixed chargers' deployment, and later a hybrid cyber Petri net was applied to model and analyze the master-slave charging behavior [45,46]. In this paper, a hybrid colored cyber Petri net system is to be proposed to characterize the energy flow, information flow, and control flow relationship in UAVs' aided wireless power and information transmission.…”