目前，电网结构日益复杂，电力设备受到客观恶劣环境的影响，电网的安全受到了极大的挑战。电力企业可利用全寿命周期管理系统提高设备的管理水平，其元数据模型即为输变电设备全景信息模型，模型能够解决全寿命周期管理系统建设过程中的“信息孤岛”、重复建模和信息不全面等问题。当前，国内外研究对公共信息模型的扩展和完善的研究较为多见，但针对模型的合理性验证却很少涉及。本文研究IEC61970/968标准，扩展基于公共信息模型的全景信息模型，运用Petri网形式化理论验证模型的合理性。本文的工作主要集中在：首先，对电力企业信息集成方法进行比较，分析全寿命周期管理系统对应的元数据集成技术需求，通过研究电力系统公共信息模型的建立方法和扩展原则，参照IEC61970和IEC61968的CIM标准和其他相关的电力行业规范，利用RATIONAL ROSE软件，依照原则和方法基于UML语言扩展CIM模型，完成了由资产基本模型、资产工作模型、在线监测模型、公共信息模型和服务模型组成的输变电设备全景信息模型设计，地实现了系统平台多视角信息模型的统一。其次，通过深入研究UML图形向Petri网的映射方法，完成了全景信息模型向Petri网的映射，实现最终的形式化验证。通过利用可覆盖性树和出现序列理论，实现对Petri网分别进行结构和语义验证，并给出用电测算系统状态图和设备更换系统活动图验证实例，确保模型有效。进一步地，通过研究模型应用的相关技术，设计了全景信息模型的现场部署和应用的具体方案，介绍了应用测试的具体内容，实现模型测试和应用过程的统一化、规范化。