Супруненко, О. О., and А. М. Парнюк. “FACILITIES OF AUTOMATED ANALYSIS ALGORITHMS OF PARALLEL ON THE BASIS OF MODIFICATION PETRI NET”. Eastern-European Journal of Enterprise Technologies, vol. 4, no. 3(46), July 2010, pp. 66-71, doi:10.15587/1729-4061.2010.2952.