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