A novel power system FDI scheme based on Petri nets and coding theory | IEEE Conference Publication | IEEE Xplore