A multi-layer Petri net model for deregulated electric power systems | IEEE Conference Publication | IEEE Xplore