Сети Петри

[loldop]

Здравствуйте!
Столкнулся с безопасной сетью Петри. Нужно исследовать ее на достижимость. Подскажите, пожалуйста, литературу и алгоритм.

[Утундрий]

Первое сцылко Гугеля:
http://is.ifmo.ru/books/switch_pdf/_switch11.pdf

[Alik]

Материал из книги А. А. Шалыто - это лишь малая часть айсберга. Специалистами в этой области являются ученики В. И. Варшавского и их коллеги из Испании:
http://www.lsi.upc.edu/~jordicf/petrify/refs/