О. О. Супруненко and А. М. Парнюк, “FACILITIES OF AUTOMATED ANALYSIS ALGORITHMS OF PARALLEL ON THE BASIS OF MODIFICATION PETRI NET”, EEJET, vol. 4, no. 3(46), pp. 66–71, Jul. 2010.