Leontyev Denis Vasil'evich

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