Очевидными являются задачи достижимости и покрываемости. Задача достижимости: можно ли из данной маркировки М достичь маркировки М ?. Задача покрываемости: для данной маркировки М существует ли достижимая маркировка М , такая что М >=М.
Скачать страницу
[Выходные данные]
