ГЛАВА 2

ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ

В этой главе мы дадим формальные определения основных понятий сетей Петри. Основные понятия используются на протяжении всей книги и являются необходимыми для правильного понимания.

Наш формализм основывается на теории комплектов, являющейся обобщением теории множеств. Если вы не знакомы близко с теорией комплектов, предлагаем вам прочитать приложение.

Определения, данныа здесь, по стилю подобны определениям теории автоматов [130], т. е. определен новый класс машин — автоматная сеть Петри. Как мы увнднм позднее (гл. 5—8), такая точка зрения может привести к некоторым интересным результатам в теории формальных языков и теории автоматов.