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