Использование графов переходов конечных автоматов при спецификации, реализации, отладке и документировании поведения программ. Реализация систем управления на логических контроллерах. Объектно-ориентированное программирование с явным выделением состояний.