Application of discrete event systems theory for modeling and analysis of a power transmission network | IEEE Conference Publication | IEEE Xplore