На этом шаге мы приведем краткую историческую справку по сетям Петри.
Материал для этих шагов взят из дипломной работы студентки факультета математики и информационных технологий Курганского государственного университета Кулинич Натальи Александровны, выпускницы 2010 года.
Сети Петри разрабатывались специально для моделирования тех систем, которые содержат взаимодействующие параллельные компоненты. Впервые сети Петри предложил Карл Адам Петри. В своей докторской диссертации "Kommunikation mit Automaten" ("Связь автоматов") Петри сформулировал основные понятия теории связи асинхронных компонент вычислительной системы. В частности, он подробно рассмотрел описание причинных связей между событиями. Его диссертация посвящена главным образом теоретической разработке основных понятий, с которых начали развитие сети Петри.
Работа Петри привлекла внимание А.В.Хольта сотрудников из проекта Information System Theory (Теория информационных систем) фирмы Applied Data Research (ADR). Ими была развита большая часть начал теории, предложены обозначения и представления сетей Петри; показали, как сети Петри можно применить к анализу и моделированию систем, включающих параллельные компоненты.
Работа Петри привлекла также внимание группы, работающей над проектом МАС в Массачусетском технологическом институте (МТИ). Руководимая профессором Дж. Б. Денисом группа вычислительных структур стала источником значительных исследований и публикаций по сетям Петри.
На следующем шаге мы рассмотрим структуру сетей Петри.
