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