Zaitsev Dmitrii Anatol'evich

Publications in Math-Net.Ru

1. Paradigm of computations on the Petri nets
   
   Avtomat. i Telemekh., 2014, no. 8,  19–36
2. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
   
   Model. Anal. Inform. Sist., 19:6 (2012),  21–33
3. Inhibitor Petri net that executes an arbitrary given Markov normal algorithm
   
   Model. Anal. Inform. Sist., 18:4 (2011),  80–93