Abstract
WASP which is used to plan generation expansion has disadvantages that can't manage environmental factors and regional supply-demand planning. But with the effectuation of the United Nations Framework Convention on Climate Change (UNFCCC) and Kyoto Protocol, it is expected that reducing greenhouse gases affects power system in its long-term generation expansion planning. Therefore national countermeasures is needed. This paper formulates a mathematical model considering CO2 emission constraints and Emission Trading that will be enforced. This model is based on the MEFISET (Model for Economic Feasibility of Interstate Electrical Ties) which was made by Korea Energy Economics Institute and Hong-ik university and manages generation expansion planning. And this mathematical model is verified by studying a case system.