Стр. 35 - Параллельное программирование

ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
33
СЕТИ ПЕТРИ
Сети Петри – инструмент исследования систем. В настоящее время сети
Петри применяются в основном в моделировании. Во многих областях исследова-
ний явление изучается не непосредственно, а косвенно, через модель. Модель – это
представление, как правило, в математических терминах того, что считается наибо-
лее характерным в изучаемом объекте или системе. Манипулируя моделью системы,
можно получить новые знания о ней, избегая опасности, дороговизну или неудобст-
ва анализа самой реальной системы. Обычно модели имеют математическую
основу.
Развитие теории сетей Петри проводилось по двум направлениям. Формальная
теория сетей Петри занимается разработкой основных средств, методов и понятий,
необходимых для применения сетей Петри. Прикладная теория сетей Петри связана
главным образом с применением сетей Петри к моделированию систем, их анализу
и получающимся в результате этого глубоким проникновением в моделируемые
системы.
Моделирование в сетях Петри осуществляется на событийном уровне. Опре-
деляются, какие действия происходят в системе, какие состояние предшествовали
этим действиям и какие состояния примет система после выполнения действия.
Выполнения событийной модели в сетях Петри описывает поведение системы. Ана-
лиз результатов выполнения может сказать о том, в каких состояниях пребывала или
не пребывала система, какие состояния в принципе не достижимы. Однако такой
анализ не дает числовых характеристик, определяющих состояние системы. Разви-
тие теории сетей Петри привело к появлению так называемых “цветных” сетей Пет-
ри. Понятие цветности в них тесно связано с понятиями переменных, типов данных,
условий и других конструкций, более приближенных к языкам программирования.
Несмотря на некоторые сходства между цветными сетями Петри и программами,
они еще не применялись в качестве языка программирования.
Несмотря на описанные достоинства сетей Петри, неудобства их применения
сетей Петри в качестве языка программирования заключены в процессе их выпол-
нения в вычислительной системе. В сетях Петри нет строго понятия процесса, кото-
рый можно было бы выполнять на указанном процессоре. Нет также однозначной
последовательности исполнения сети Петри, так как исходная теория представляет
нам язык для описания параллельных процессов.
Наилучшими возможностями описания параллельных систем обладают сети
Петри. Они не менее мощные, чем PVM, MPI, SDL и другие, но чтобы их выполнять
на процессорах, необходимо сделать из описания параллельного распределенное.