On deriving the parallel composition of extended finite state machines
К построению параллельной композиции расширенных автоматов

Ekaterina V. Shirokova, Tomsk State University, Tomsk, Russian Federation, Svetlana A. Prokopenko, Natalia V. Shabaldina
2019 Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika  
К ПОСТРОЕНИЮ ПАРАЛЛЕЛЬНОЙ КОМПОЗИЦИИ РАСШИРЕННЫХ АВТОМАТОВ Работа выполнена при поддержке Российского научного фонда, проект № 16-49-03012. Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.
more » ... автоматам. Ключевые слова: расширенный автомат; конечный автомат; параллельная композиция расширенных автоматов.
doi:10.17223/19988605/48/10 fatcat:pj6fa2jc3beblfncrbftmvknry