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