论文标题
LSAT行为规格转换为自动机
Conversion of LSAT behavioral specifications to automata
论文作者
论文摘要
物流规范和分析工具（LSAT）是一种基于模型的工程工具，用于制造系统设计和分析。使用特定于域的语言，可以在LSAT中指定系统。在本文中，提出了一种转换方法，以获得自动机结构中LSAT规范的系统行为。
The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system can be specified in LSAT. In this paper, a conversion method is presented to obtain the system behavior of an LSAT specification in automata structure.
