Рис. 1. Пример использования в качестве графической нотации графов переходов смешанных автоматов.