中文摘要：

为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为 LTS，通过将表示组合仿真模型行为的 LTS 进行比较，得出组合仿真模型的有效性。最后给出了作战坦克修理所实例，结果表明，该方法能够有效验证仿真模型可组合问题。

英文摘要：

In order to increase the efficiency and reduce the cost of the development of a complex simulation system, a validation method for combining the simulation is proposed based on the labeled transition system（LTS）. This method introduces the time factor to the behavior of the simulation model and represents the execution sequences as the LTS model. Through the comparison of the LTS of the combination model and request model,the effectiveness of the combination model is derived. Finally,the battle tank repair example shows that the method is effective.