Если вы бегло просмотрите библиографию, то заметите, что в названиях большинства ссылок упоминаются не сети ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Питерсон Д.N. Теория сетей петри и моделирование систем


Если вы бегло просмотрите библиографию, то заметите, что в названиях большинства ссылок упоминаются не сети Петри, а системы сложения векторов. Системы сложения векторов были введены Карпом и Миллером [148] как математическое средство анализа систем параллельных процессов. Благодаря их простому математическому определению системы сложения векторов обычно используются для формального доказательства свойств сетей Петри или подобных систем.

(cкачать страницу)

Смотреть книгу на libgen

Если вы бегло просмотрите библиографию,  то заметите,  что в названиях большинства ссылок упоминаются не сети Петри,  а системы сложения векторов.  Системы сложения векторов были введены Карпом и Миллером [148] как математическое средство анализа систем параллельных процессов.  Благодаря их простому математическому определению системы сложения векторов обычно используются для формального доказательства свойств сетей Петри или подобных систем.