Сети активных ресурсов

Вводится формализм моделей распределенных систем, названный сетями активных ресурсов. Формализм построен как обобщение сетей Петри, в котором убрано разделение компонентов системы на активные и пассивные (переходы и позиции). Каждый ресурс (маркер узла сети) может выступать и в качестве пассивного ресурса, потребляемого или производимого другими агентами, и в качестве активного агента, потребляющего и производящего другие ресурсы.
Анализируется выразительная мощность данного формализма. Доказано, что АР-сети и АР-сети с простым срабатыванием равномощны обыкновенным сетям Петри; АР-сети с одновременным срабатыванием всех ресурсов в одном узле сети строго выразительнее обыкновенных сетей Петри.