With the gradual attention of global climate change, a series of carbon emission plans have been formally implemented in the field of energy. There is a consistent relationship between the carbon market and the electricity market in promoting clean energy development and improving carbon dioxide emission reduction targets. The market design of a low‐carbon power system should be considered as a whole to promote the coordinated development of carbon and power markets. Taking an industrial park in China as the research object, an internal market trading model of an industrial park considering carbon dioxide emission reduction targets is proposed. The proposed trading mechanism considers both carbon dioxide emission reduction targets and social welfare maximization. The proposed market trading model connects day‐ahead and intraday electricity markets, which deal with uncertainty about renewable energy sources. The intra‐park market trading model combining the day‐ahead market and the domestic market is established, which provides a new way to deal with the uncertainty of new energy and reduce carbon emissions. The clearing model of the low‐carbon electricity market is established to maximize social welfare, and the settlement mechanism of each market participant is given.