Исследовать сеть Петри. Построить дерево покрывающих маркировок и определить достижимость указанных маркировок.