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