Follow
Vladimir Bashkin
Vladimir Bashkin
Yaroslavl State University
Verified email at uniyar.ac.ru
Title
Cited by
Cited by
Year
Процессная модель формирования цепей поставок
ЕИ Зайцев, АВ Парфенов, СА Уваров
Логистика и управление цепями поставок, 5-14, 2012
69*2012
Применение показателя «совершенный заказ» в логистике распределения
ЕИ Зайцев, СА Уваров
Логистика и управление цепями поставок, 51, 2012
372012
Resource similarities in Petri net models of distributed systems
VA Bashkin, IA Lomazova
International Conference on Parallel Computing Technologies, 35-48, 2003
182003
Petri nets and resource bisimulation
VA Bashkin, IA Lomazova
Fundamenta Informaticae 55 (2), 101-114, 2003
182003
Resource equivalence in workflow nets
VA Bashkin, IA Lomazova
Proc. of Concurrency, Specification and Programming (CS&P’2006). Humboldt …, 2006
142006
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
132019
Resource driven automata nets
VA Bashkin, IA Lomazova
Fundamenta Informaticae 109 (3), 223-236, 2011
122011
Nets of active resources for distributed systems modeling
VA Bashkin
Joint Bulletin of NCC&IIS, Comp. Science 28, 43-54, 2008
122008
Reduction of Coloured Petri nets based on resource bisimulation
VA Bashkin, IA Lomazova
Joint Bulletin of NCC & IIS (Comp. Science) 13, 12-17, 2000
112000
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
92014
Soundness of Workflow Nets with an Unbounded Resource is Decidable.
VA Bashkin, IA Lomazova
PNSE+ ModPE, 61-75, 2013
82013
On the single-periodic representation of reachability in one-counter nets
VA Bashkin
Proc. of CS&P 2009, 60-71, 2009
82009
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
72016
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
72016
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
72013
Similarity of generalized resources in Petri nets
VA Bashkin, IA Lomazova
Parallel Computing Technologies: 8th International Conference, PaCT 2005 …, 2005
72005
Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute Events.
EV Aleksandrova, VA Bashkin
SENSORNETS, 141-146, 2018
62018
Cellular resource-driven automata
VA Bashkin, IA Lomazova
Fundamenta Informaticae 120 (3-4), 243-257, 2012
62012
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
62010
Resource bisimulations in Nested Petri Nets
VA Bashkin, IA Lomazova
Proc. of CS&P 1, 39-52, 2002
62002
The system can't perform the operation now. Try again later.
Articles 1–20