Kharitonov Dmitrii Ivanovich

Publications in Math-Net.Ru

1. Constructing of the brief reachability tree for program models in terms of Petri nets
   
   Sistemy i Sredstva Inform., 32:2 (2022),  23–35
2. Software implementation of a method for generation of Petri nets of large size
   
   Sistemy i Sredstva Inform., 28:2 (2018),  99–115
3. State of the art and development prospects of the Shared Resource Center "Far Eastern Computing Resource" IACP FEB RAS
   
   Program Systems: Theory and Applications, 7:4 (2016),  197–208
4. A method of sample models of program construction in terms of Petri nets
   
   Model. Anal. Inform. Sist., 22:4 (2015),  563–577
5. On a function representation in an imperative program model specified by Petri nets
   
   Model. Anal. Inform. Sist., 18:2 (2011),  18–38
6. Separable object-oriented program verification with C++ class protocol definition in terms of Petri nets
   
   Model. Anal. Inform. Sist., 16:1 (2009),  92–111