ЗАСОБИ АВТОМАТИЗОВАНОГО АНАЛІЗУ АЛГОРИТМІВ ПАРАЛЕЛЬНИХ ПРОГРАМ НА ОСНОВІ МОДИФІКАЦІЙ МЕРЕЖ ПЕТРІ

This article discusses options for modeling algorithmic designs using modified Petri nets. The basis for constructing models of parallel programs to analyze and identify the critical properties, which is important when creating computer-aided testing of parallel software. В статье рассматриваются варианты моделирования алгоритмических конструкций с помощью модификации сетей Петри. Закладываются основы построения моделей параллельных программ с целью их анализа и выявления критических свойств, что важно при создании систем автоматизированного тестирования параллельного программного обеспечения. У статті розглядаються варіанти моделювання алгоритмічних конструкцій за допомогою модифікації мереж Петрі. Закладаються основи побудови моделей паралельних програм з метою їх аналізу та виявлення критичних властивостей, що важливо при створенні систем автоматизації тестування паралельного програмного забезпечення.