Чубаров Д.Л.   Непомнящий В.А.  

Задача о покрываемости для раскрашенных сетей Петри

Reporter: Чубаров Д.Л.

Предложен алгоритм для решения задачи о покрываемости некоторой разметки для раскрашенных сетей Петри. В отличие от известных методов для обыкновенных сетей Петри, предлагаемый метод не требует построения по заданной раскрашенной сети Петри эквивалентной ей обыкновенной сети Петри.

Условием применимости алгоритма является конечность области значений, принимаемых фишками сети, а также выполнение для всех переходов сети свойства, названного нами предсказуемостью

В ряде случаев предложенный алгоритм позволяет также решать задачу о достижимости некоторой разметки.


To reports list