Conversion of LSAT behavioral specifications to automata
Formal Languages and Automata Theory
2020-11-09 v1
Abstract
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.
Cite
@article{arxiv.2011.03249,
title = {Conversion of LSAT behavioral specifications to automata},
author = {Sander Thuijsman and Michel Reniers},
journal= {arXiv preprint arXiv:2011.03249},
year = {2020}
}
Comments
10 pages, 6 figures