Formal Verification Method of Simulation Scenario Based on High-level Petri Nets

To solve the problem of unsatisfactory subjective verification for simulation scenario,a formal verification method of simulation scenario based on high-level Petri nets is presented.A formal definition of simulation scenario is given,and possible errors in simulation scenario are analyzed.Approaches to mapping simulation scenario into high-level Petri nets are proposed.Criteria and algorithms to verify simulation scenario based on high-level Petri nets are presented.Inference rules and mechanisms for dynamic verification of simulation scenario are also given.A formal verification tool framework of simulation scenario is constructed.Practical applications show that the formal verification method is effective.