针对钢铁企业能源流程的特点，以及以往能源建模存在的不足，提出一种从UML到Petri网模型逐步形式化的建模方法。所建模型可以通过仿真平台进行验证评估，对能源流程进一步定性和定量分析，深入理解、优化，并可以根据反馈结果对UML模型进行修改，有助于提高系统编码实现的准确性，保证工程技术人员高效建模。以炼铁系统的能源流程系统建模为例，对方法进行说明。