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