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