Power estimation of sequential circuits using hierarchical colored hardware Petri net modeling | IEEE Conference Publication | IEEE Xplore