Засоби автоматизованого аналізу паралельних алгоритмів на основі модифікацій мереж петрі
В статье рассматриваются модели алгоритмических конструкций на основе модификации сетей Петри. Заложены основы моделирования параллельных алгоритмов для анализа и выявления критических свойств при создании систем автоматизированного тестирования параллельных программ