Research on the Modeling of VV&A Simulation Process Based on Petri Net

The modeling of simulation VVA process based on Petri Net is studied in this paper.Firstly,the VVA process is analyzed and the VVA 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 VVA for simulation assistant management is built up through the modeling of VVA simulation Process modeling based on Petri Net.