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