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