A novel approach for sel sh nodes detection in MANETs: proposal and Petri nets based modeling | IEEE Conference Publication | IEEE Xplore