Conversion of LSAT behavioral specifications to automata

Sander B. Thuijsman (Corresponding author), Michel A. Reniers

Research output: Contribution to journalArticleAcademic

70 Downloads (Pure)

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.
Original languageEnglish
Article number2011.03249
Number of pages10
JournalarXiv
Volume2020
Publication statusPublished - 6 Nov 2020

Fingerprint

Dive into the research topics of 'Conversion of LSAT behavioral specifications to automata'. Together they form a unique fingerprint.

Cite this