2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Сети Петри
Сообщение13.03.2012, 21:28 
Аватара пользователя
Первое сцылко Гугеля:
http://is.ifmo.ru/books/switch_pdf/_switch11.pdf

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

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group