Conversion of LSAT behavioral specifications to automata

Sander B. Thuijsman; Michel A. Reniers

Conversion of LSAT behavioral specifications to automata

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

Research output: Contribution to journal › Article › Academic

101 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 language	English
Article number	2011.03249
Number of pages	10
Journal	arXiv
Volume	2020
Publication status	Published - 6 Nov 2020

Access to Document

Conversion of LSAT behavioral specifications to automataFinal author version , 329 KBLicence: CC BY

https://arxiv.org/abs/2011.03249Licence: CC BY

Cite this

@article{d02e8fba7027463aa04262f34e87ed5a,

title = "Conversion of LSAT behavioral specifications to automata",

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.",

author = "Thuijsman, \{Sander B.\} and Reniers, \{Michel A.\}",

year = "2020",

month = nov,

day = "6",

language = "English",

volume = "2020",

journal = "arXiv",

publisher = "Cornell University",

}

TY - JOUR

T1 - Conversion of LSAT behavioral specifications to automata

AU - Thuijsman, Sander B.

AU - Reniers, Michel A.

PY - 2020/11/6

Y1 - 2020/11/6

N2 - 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.

AB - 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.

M3 - Article

VL - 2020

JO - arXiv

JF - arXiv

M1 - 2011.03249

ER -

Conversion of LSAT behavioral specifications to automata

Abstract

Access to Document

Fingerprint

Cite this