Conversion of LSAT behavioral specifications to automata
Sander Thuijsman, Michel Reniers
TL;DR
This paper presents a method to convert LSAT behavioral specifications, written in a domain-specific language, into automata structures to facilitate system behavior analysis.
Contribution
The paper introduces a novel conversion technique from LSAT specifications to automata, enabling automated analysis of manufacturing system behaviors.
Findings
Conversion method successfully translates LSAT specifications into automata
Enables automated system behavior analysis from LSAT models
Facilitates verification and validation of manufacturing systems
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Petri Nets in System Modeling · Flexible and Reconfigurable Manufacturing Systems