В статье рассмотрено применение конечных автоматов для создания системы автоматов, связанных графами. Документооборот представляется в виде автомата, обрабатывающего автоматы, каждый из которых моделирует поведенческую единицу системы документооборота.
Аннотация к работе
В современном обществе идет процесс интенсификации вычислительных и информационных технологий во всех отраслях деятельности [1]. Внедрение электронного документооборота является актуальной задачей современного общества. В отечественной и зарубежной науке существуют примеры применения теории графов и теории автоматов как самостоятельных формальных моделей документооборота. Аппарат графов дает возможность описывать взаимодействия участников и документов с помощью матрицы инцидентности. Синтез автоматно-графовой формальной модели Адаптируем описанный выше математический аппарат для создания формальной модели композитного документооборота.