Голенков, Е. и Соколов, А. 2005. Метод автоматического построения модели параллельной программы в терминах сетей Петри. Вычислительные методы и программирование. 6, 6 (ноя. 2005), 77–82.