Арифметическое представление сетей Петри

Сеть Петри рассматривается как система сложения скаляров. Возможные переходы в сети описываются посредством арифметического полинома. Арифметическое представление упрощает моделирование сетей Петри на ЭВМ.