Проверка достижимости состояния помеченного графа при заданных правилах изменения состоянийтезисы доклада