Создание графа состояний в системе с 2 примесными атомамисвидетельство о регистрации прав на ПО, базу данных