«Полный» протокол с проверкой всех переходов автомата, реализующего алгоритм управления панелью инструментов

Обработка события «нажатие правой кнопки мыши»
16:44:58.543{ A0: в сост. 0 запущен с событием e10
16:44:58.543T A0: перешел из сост. 0 в сост. 1
16:44:58.543* z10. Запомнить координаты курсора мыши
16:44:58.543* z40. Поместить окно панели поверх остальных
16:44:58.543} A0: завершил обработку события e10 в сост. 1

 Обработка события «отпускание правой кнопки мыши» - вызов меню панели
16:44:59.903{ A0: в сост. 1 запущен с событием e20
16:44:59.903* z30. Вызвать меню панели
16:44:59.903T A0: перешел из сост. 1 в сост. 0
16:44:59.903} A0: завершил обработку события e20 в сост. 0

Обработка события «выход курсора мыши за границу панели»
16:44:59.903{ A0: в сост. 0 запущен с событием e40
16:44:59.903} A0: завершил обработку события e40 в сост. 0

Обработка события «нажатие правой кнопки мыши»
16:45:03.963{ A0: в сост. 0 запущен с событием e10
16:45:03.963T A0: перешел из сост. 0 в сост. 1
16:45:03.963* z10. Запомнить координаты курсора мыши
16:45:03.963* z40. Переместить окно панели выше остальных
16:45:03.963} A0: завершил обработку события e10 в сост. 1

Обработка события «выход курсора мыши за границу панели»
16:45:05.933{ A0: в сост. 1 запущен с событием e40
16:45:05.933T A0: перешел из сост. 1 в сост. 0
16:45:05.933} A0: завершил обработку события e40 в сост. 0

Обработка события «нажатие правой кнопки мыши»
16:45:10.482{ A0: в сост. 0 запущен с событием e10
16:45:10.482T A0: перешел из сост. 0 в сост. 1
16:45:10.482* z10. Запомнить координаты курсора мыши
16:45:10.482* z40. Переместить окно панели выше остальных
16:45:10.482} A0: завершил обработку события e10 в сост. 1

Обработка событий «перемещение мыши с нажатой кнопкой»
16:45:12.812{ A0: в сост. 1 запущен с событием e30
16:45:12.812T A0: перешел из сост. 1 в сост. 2
16:45:12.812* z20. Переместить панель.
16:45:12.812} A0: завершил обработку события e30 в сост. 2
16:45:12.852{ A0: в сост. 2 запущен с событием e30
16:45:12.852* z20. Переместить панель.
16:45:12.852} A0: завершил обработку события e30 в сост. 2

Обработка события «отпускание правой кнопки мыши»
16:45:15.812{ A0: в сост. 2 запущен с событием e20
16:45:15.812T A0: перешел из сост. 2 в сост. 0
16:45:15.812} A0: завершил обработку события e20 в сост. 0
Обработка события «выход курсора мыши за границу панели»
16:45:16.742{ A0: в сост. 0 запущен с событием e40
16:45:16.742} A0: завершил обработку события e40 в сост. 0

Обработка события «нажатие правой кнопки мыши»
16:45:18.992{ A0: в сост. 0 запущен с событием e10
16:45:18.992T A0: перешел из сост. 0 в сост. 1
16:45:18.992* z10. Запомнить координаты курсора мыши. 
16:45:18.992* z40. Переместить окно панели выше остальных
16:45:18.992} A0: завершил обработку события e10 в сост. 1

Обработка событий «перемещение мыши с нажатой кнопкой»
16:45:20.472{ A0: в сост. 1 запущен с событием e30
16:45:20.472T A0: перешел из сост. 1 в сост. 2
16:45:20.472* z20. Переместить панель.
16:45:20.472} A0: завершил обработку события e30 в сост. 2
16:45:21.192{ A0: в сост. 2 запущен с событием e30
16:45:21.192* z20. Переместить панель.
16:45:21.192} A0: завершил обработку события e30 в сост. 2

Обработка события «выход курсора мыши за границу панели» - прекращение перемещения
16:45:21.232{ A0: в сост. 2 запущен с событием e40
16:45:21.232T A0: перешел из сост. 2 в сост. 0
16:45:21.232} A0: завершил обработку события e40 в сост. 0