2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Сети Петри
Сообщение10.03.2012, 14:11 
Аватара пользователя


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

 Профиль  
                  
 
 Re: Сети Петри
Сообщение13.03.2012, 21:28 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
 
 Re: Сети Петри
Сообщение13.03.2012, 23:19 
Аватара пользователя


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group