Detection, localization and fault diagnosis using PetriNets for smart power distribution grids | IEEE Conference Publication | IEEE Xplore