Парадигма вычислений на сетях Петри

Показано, что пардигма вычислений на сетях Петри обеспечит существенное ускорение вычислений и сокращение трудоемкости разработки программного обеспечения за счет массового параллелизма и асинхронного характера процессов обработки информации. Разработан язык программных сетей Петри, предложены альтернативные подходы реализации парадигмы на микро- и макроуровнях, уточнены оценки сложности ранее построенной универсальной сети Петри, являющейся прототипом соответствующего процессора. Указаны направления практической реализации парадигмы: разработка технологии программирования на нагруженных сетях Петри, технологии трансляции нагруженных сетей Петри в ингибиторные сети Петри и эффективных аппаратных процессоров, исполняющих программы на языке ингибиторных сетей Петри. Использование класса сетей Слепцова с кратным запуском перехода на шаге обеспечивает быстрые вычисления.

Статья представлена к публикации членом редколлегии: А. А. Лазарев