Belov Yurii Anatol'evich

Publications in Math-Net.Ru

1. Remarks on the reachability graphs of Petri nets
   
   Model. Anal. Inform. Sist., 29:4 (2022),  366–371
2. Tree centroid properties clarification
   
   Model. Anal. Inform. Sist., 24:4 (2017),  410–414
3. Generation of a social network graph by using Apache Spark
   
   Model. Anal. Inform. Sist., 23:6 (2016),  777–783
4. Composite reductions for Kripke models
   
   Model. Anal. Inform. Sist., 17:3 (2010),  29–37
5. Finite automorphism groups of Petri Nets
   
   Model. Anal. Inform. Sist., 15:4 (2008),  3–9
6. Automorphisms of transition systems
   
   Model. Anal. Inform. Sist., 14:1 (2007),  54–56