基于Petri网的仿真VVA过程建模

摘要

The modeling of simulation VV&A process based on Petri Net is studied in this paper. Firstly, the VV&A process is analyzed and the VV&A process model based on Petri Net is built up. Then, the particular modeling of each phase is studied. The Petri Net model is built for requirement verification, concept model validation, formal model verification and validation, software model verification and validation, and system accreditation phase. The foundation of using Petri Net in the VV&A for simulation assistant management is built up through the modeling of VV&A simulation Process modeling based on Petri Net.%对基于Petri网的仿真VV&A过程建模进行了研究,首先分析了VV&A过程的组成,建立了基于Petri网的VV&A过程模型,然后分阶段对VV&A过程进行了详细建模,分别建立了需求校核,概念模型验证,数学模型校核与验证、软件模型校核与验证以及系统确认阶段的Petri网模型.通过对基于Petri网的仿真VV&A过程建模为进一步将Petri网应用于仿真VV&A的辅助管理打下了基础.