Панель управления
| - создать новую модель (ctrl+N) |
| - открыть ранее сохраненную модель (ctrl+O) |
| - сохранить текущую модель (ctrl+S) |
| - отменить последнее действие в области построения модели |
| - включить отображение модели в режиме графа |
| - включить отображение модели в режиме структуры (матричная форма) |
| - включить режим отображения результатов моделирования |
| - включить режим создания анимации |
| - запустить программу Proof |
| - включить режим отладки модели в процессе прогона |