Черненок Сергей Анатольевич

Публикации в базе данных Math-Net.Ru

1. The application of coloured Petri nets to verification of distributed systems specified by message sequence charts
   
   Труды ИСП РАН, 27:3 (2015),  197–218
2. Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри
   
   Модел. и анализ информ. систем, 21:6 (2014),  94–106