activity
20102026
most citedFolk Theorems on the Correspondence between State-Based and Event-Based Systems

27 citations · 64 across the 15 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.FL2020

Conversion of LSAT behavioral specifications to automata

Sander Thuijsman, Michel Reniers

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…