Generalized Stochastic Petri Nets Modelling for Energy Harvesting WSNs considering Neighbors with different Vicinity Levels | IEEE Conference Publication | IEEE Xplore