The Automata Explores is a web-based tool to visualize differences and similarities between (finite) state machines. The tool is interactive and helps users to analyze, interpreted and understand the comparison results. The tool offers multiple filters and manipulations to investigate the results from different viewpoints and perspectives. To compare and merge the inputs into the difference automata the gLTSdiff library is used. The difference automata is a single combined automata where common parts, reference-only and subject-only are color coded, an example can be found below under preview.
This Automata Explores is developed in the context of automata learning and supports two kinds of automata's. A regular automata where the matching for the difference machine is based on the complete label. And the Mealy machine where the matching is based on input and output under the condition that labels are structured as input/output. The (backend) build and processing actions are standardized (type based) and therefore easy to extend to support new types or difference automata build configurations.
- Input two automata's in the
.dot formatand visualize the difference machine. - Select a layout algorithm that is most suitable for the visualization.
- Use filters and/or custom processing actions to investigate the result.
- Use the context menu options on visualization elements analyze the automata or to get detailed element information.
- Export the result as a
.pgnor comprehensive.pdfreport.
- Getting Started - installation and setup.
- Example - Vending Machine - basic illustrative example
- Functionality - all functionality explained.
- Project structure & Architecture
- gLTSdiff - the library used for comparison and matching inputs.
This project is licensed under the MIT License - see the LICENSE file for details.