Chernenok Sergei Anatol'evich

Publications in Math-Net.Ru

1. The application of coloured Petri nets to verification of distributed systems specified by message sequence charts
   
   Proceedings of ISP RAS, 27:3 (2015),  197–218
2. Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets
   
   Model. Anal. Inform. Sist., 21:6 (2014),  94–106