State Machines

Section State Machines contains tools for modelling discrete systems with logic of transitions between states. Finite automata are a common approach in control systems and the study of multi-agent systems. With finite automata, you can explore system interactions and debug cyclograms without leaving the convenient graphical representation.

The components of a finite automaton are available inside the Chart block, so when you work in the finite automaton editor, the composition of the library is adjusted accordingly.

First steps in finite automata
Logic of finite automata
Elements
Types of finite automata
- State machines
  - State machine hierarchy
- Transition graphs