Супруненко, О. О.; Парнюк, А. М. FACILITIES OF AUTOMATED ANALYSIS ALGORITHMS OF PARALLEL ON THE BASIS OF MODIFICATION PETRI NET. EEJET 2010, 4, 66-71.