  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.
