Рассмотрены интерпретации и модификации безопасных сетей Петри как средства моделирования последовательных и параллельных алгоритмов. Поставлена задача распараллеливания последовательных алгоритмов для повышения эффективности ...