Как называется задача, которая устанавливает справедливость включения для сети Петри N с начальной разметкой M0 и заданной разметки M’?
(Отметьте один правильный вариант ответа.)
Варианты ответа
задача об условии
задача о переходе
задача о достижимости
задача о покрываемости(Верный ответ)