A Malicious Attack Modeling Method for Source-Grid-Load System Based on Petri Net | IEEE Conference Publication | IEEE Xplore