A Model of HVDC Control System Based on Hybrid Petri Net | IEEE Conference Publication | IEEE Xplore