| Процессная модель формирования цепей поставок ЕИ Зайцев, АВ Парфенов, СА Уваров Логистика и управление цепями поставок, 5-14, 2012 | 72 | 2012 |
| Применение показателя «совершенный заказ» в логистике распределения ЕИ Зайцев, СА Уваров Логистика и управление цепями поставок, 51, 2012 | 37 | 2012 |
| Resource similarities in Petri net models of distributed systems VA Bashkin, IA Lomazova International Conference on Parallel Computing Technologies, 35-48, 2003 | 18 | 2003 |
| Petri nets and resource bisimulation VA Bashkin, IA Lomazova Fundamenta Informaticae 55 (2), 101-114, 2003 | 18 | 2003 |
| Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms EV Kuzmin, OE Gorbunov, PO Plotnikov, VA Tyukin, VA Bashkin Automatic Control and Computer Sciences 53, 628-637, 2019 | 15 | 2019 |
| Resource equivalence in workflow nets VA Bashkin, IA Lomazova Proc. of Concurrency, Specification and Programming (CS&P’2006). Humboldt …, 2006 | 14 | 2006 |
| Resource driven automata nets VA Bashkin, IA Lomazova Fundamenta Informaticae 109 (3), 223-236, 2011 | 12 | 2011 |
| Nets of active resources for distributed systems modeling VA Bashkin Joint Bulletin of NCC&IIS, Comp. Science 28, 43-54, 2008 | 12 | 2008 |
| Reduction of Coloured Petri nets based on resource bisimulation VA Bashkin, IA Lomazova Joint Bulletin of NCC & IIS (Comp. Science) 13, 12-17, 2000 | 11 | 2000 |
| Decidability of-soundness for workflow nets with an unbounded resource VA Bashkin, IA Lomazova Transactions on Petri Nets and Other Models of Concurrency IX, 1-18, 2014 | 9 | 2014 |
| Soundness of Workflow Nets with an Unbounded Resource is Decidable. VA Bashkin, IA Lomazova PNSE+ ModPE, 61-75, 2013 | 8 | 2013 |
| On the single-periodic representation of reachability in one-counter nets VA Bashkin Proc. of CS&P 2009, 60-71, 2009 | 8 | 2009 |
| Instrumental supporting system for developing and analysis of software-defined networks of mobile objects VA Sokolov, SV Korsakov, AV Smirnov, VA Bashkin, ES Nikitin Automatic Control and Computer Sciences 50, 536-545, 2016 | 7 | 2016 |
| Hydrodynamic model of adaptive routing for large-scale unstable sensor networks EV Aleksandrova, VA Bashkin 2016 International Siberian Conference on Control and Communications (SIBCON …, 2016 | 7 | 2016 |
| Timed resource driven automata nets for distributed real-time systems modelling VA Bashkin, IA Lomazova, YA Novikova Parallel Computing Technologies: 12th International Conference, PaCT 2013 …, 2013 | 7 | 2013 |
| Similarity of generalized resources in Petri nets VA Bashkin, IA Lomazova Parallel Computing Technologies: 8th International Conference, PaCT 2005 …, 2005 | 7 | 2005 |
| Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute Events. EV Aleksandrova, VA Bashkin SENSORNETS, 141-146, 2018 | 6 | 2018 |
| Cellular resource-driven automata VA Bashkin, IA Lomazova Fundamenta Informaticae 120 (3), 243, 2012 | 6 | 2012 |
| Formalization of semantics of systems with unreliable agents by means of nets of active resources VA Bashkin Programming and Computer Software 36, 187-196, 2010 | 6 | 2010 |
| Resource bisimulations in Nested Petri Nets VA Bashkin, IA Lomazova Proc. of CS&P 1, 39-52, 2002 | 6 | 2002 |
