////
  // Copyright (c) 2021, 2026 Contributors to the Eclipse Foundation
  //
  // This program and the accompanying materials are made
  // available under the terms of the Eclipse Public License 2.0
  // which is available at https://www.eclipse.org/legal/epl-2.0/
  //
  // SPDX-License-Identifier: EPL-2.0
////

include::_initCommon.adoc[]

{lsat}, Logistics Specification and Analysis Tool, is a tool for rapid design-space exploration of product logistics in flexible manufacturing systems.
{lsat} has been developed by TNO-ESI in collaboration with ASML, VDL ETG, Nexperia ITEC and TU/e.

The tool enables lightweight modeling of system resources, system behavior, and timing characteristics. 
The tool provides various visualizations to explore the system behavior.
{lsat} provides efficient performance analysis to compute the maximum system performance and to identify bottlenecks by exploiting the structure of the models.

The figure below shows the main functionality of {lsat}.

image::{imgsdir}/introduction.png[]
