Конечные автоматы

Раздел «Конечные автоматы» содержит средства для моделирования дискретных систем с логикой переходов между состояниями. Конечные автоматы – распространенный формализм в системах управления и изучения мультиагентных систем. Благодаря конечным автоматам вы можете исследовать взаимодействие систем и отлаживать циклограммы, оставаясь в удобном графическом формализме.

Часть компонентов конечных автоматов доступны внутри блока Chart, поэтому при работе в редакторе конечных автоматов, состав библиотеки подстраивается соответствующим образом.