Парнюк, А. М. “Petri Nets As a Means of Modelling Parallel Algorithmic Constructions of Ada Language”. Technology Audit and Production Reserves, vol. 4, no. 1(6), Sept. 2012, pp. 31-32, doi:10.15587/2312-8372.2012.4780.