Because the CPN analytical procedure can be applied to verify properties of the ATS CPN models, the correctness of system design is guaranteed from early stage of system integration.

• 由于可以用有色Petri网的分析技术验证自动测试系统的有色Petri网模型性质，从而使得系统设计的正确性从系统组建的初期得到保证。