求翻译：虽然STE验证方法运行效率高且具有自动分析的能力，然而由于STE验证规范仅允许使用下一状态操作符，因此行为的描述被限定在顺序系统中，无法给出行为间的并发特性。本文将引入事件结构模型，用它来描述系统的并发行为。是什么意思？

Ste verification method run high efficiency and has the ability to automatically analyze, however, due to ste verification specification only allows the use of the next state operator, the description of the behavior is limited in the order of the system, can not be given the characteristics of the

Although STE authentication method to run efficient and automatic analysis, however, as a result of the capacity STE authentication specification is only allowed to use the next state operator, therefore the behavior described is limited in the order in the system, not to the behavior of concurrent

Although the STE confirmation method operating efficiency high also has the automated analysis ability, however because the STE confirmation standard only permits the use next condition instruction character, therefore the behavior description was defined in the smooth system, is unable to give the

Although STE authentication methods to run efficient and has the ability to automatically analyze, but STE validation specification only allows you to use the next State operator, therefore acts described are qualified in a sequential system, could not be given concurrent characteristics between act

正在翻译，请等待...