Голенков, Е., & Соколов, А. (2005). Метод автоматического построения модели параллельной программы в терминах сетей Петри. Вычислительные методы и программирование, 6(6), 77–82. извлечено от https://num-meth.ru/index.php/journal/article/view/183