A New Stochastic Petri Nets Modeling for Dual Cluster Heads Configuration in Energy-Harvesting WSNs | IEEE Conference Publication | IEEE Xplore