Modeling of power system based on timed DPN | IEEE Conference Publication | IEEE Xplore