Автоматно-графовая формальная модель композитного документооборота