- Методы поиска бисимуляционно-эквивалентных ресурсов в сетях Петри. Обладающие конструктивными свойствами расширения и сужения отношения подобия ресурсов.
- Методы бисимуляционной редукции систем и адаптивного управления процессами на основе отношений эквивалентности ресурсов.
- Способ описания бесконечной части пространства состояний односчётчи-ковой сети Петри при помощи арифметических прогрессий, характеристики которых выражаются как числа Фробениуса от эффектов циклов односчётчиковых контуров (сильно связных компонент сети).
- Методы анализа и оптимизации односчётчиковых сетей на основе символьных вычислений при помощи однопериодических базисов (глобальная достижимость, глобальная верификация темпоральной логики EF, аппроксимация бисимуляции, правильная организованность).
- Методы проверки бездефектности сетей потоков работ с одномерным неограниченным ресурсом.
- Формализм сетей активных ресурсов (АР-сети) - развитие языка сетей Петри за счет явного синтаксического выделения ресурсов и наделения их расширенной семантикой.
- Композициональные методы анализа АР-сетей и методы нормализации их модульной структуры.
- Расширения формализма АР-сетей для моделирования тех или иных аспектов распределенных систем: АР-сети с динамическими и ненадежными компонентами, ингибиторные АР-сети, сети управляемых ресурсами автоматов (Р-сети).
- Формализм клеточных Р-сетей - обобщение сетей Петри на случай бесконечной регулярной системной сети. Иерархия классов одномерных клеточных сетей (цепочек).
2.Башкин В. А. Сети активных ресурсов // Моделирование и анализ информационных систем. — 2007. — Т. 14, № 4. — С. 13-19.
3.Башкин В. А., Ломазова И. А. О поиске эквивалентных ресурсов в сложных системах // Известия ОрелГТУ. Серия “Фундаментальные и прикладные проблемы техники и технологии: информационные системы и технологии”. — 2008. — Т. 1-2 / 269 (544). — С. 33–39.
4.Башкин В. А. Формализация семантики систем с ненадежными агентами // Программирование. — 2010. — Т. 36, № 4. — С. 3–15.
5.Башкин В. А. Верификация на основе моделей с одним неограниченным счетчиком // Информационные системы и технологии. — 2010. — Т. 4(60). — С. 5–12.
6.Башкин В. А. Построение приближений бисимуляции в односчетчиковых сетях // Моделирование и анализ информационных систем. — 2011. — Т. 18, № 4. — С. 34–44.
7.Башкин В. А. Наследcтвенные свойства модульных сетей // Моделирование и анализ информационных систем. — 2012. — Т. 19, № 6. — С. 9–20.
8.Башкин В. А. Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров // Моделирование и анализ информационных систем. — 2013. — Т. 20, № 2. — С. 138–155.
9.Bashkin V. A., Lomazova I. A. Petri nets and resource bisimulation // Fundamenta Informaticae. — 2003. — Vol. 55, no. 2. — P. 101–114.
10.Bashkin V. A., Lomazova I. A. Resource similarities in Petri net models of distributed systems // Parallel Computing Technologies / Ed. by Victor E. Malyshkin. — Springer Berlin Heidelberg, 2003. — Vol. 2763 of Lecture Notes in Computer Science. — P. 35–48.
11.Bashkin V. A., Lomazova I. A. Similarity of generalized resources in Petri nets // Parallel Computing Technologies / Ed. by Victor Malyshkin. — Springer Berlin Heidelberg, 2005. — Vol. 3606 of Lecture Notes in Computer Science. — P. 27–41.
12.Башкин В. А., Ломазова И. А. Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов // Кибернетика и системный анализ. — 2011. — Т. 2. — С. 31–39.
13.Bashkin V. A., Lomazova I. A. Resource driven automata nets // Fundamenta Informaticae. — 2011. — Vol. 109, no. 3. — P. 223–236.
14.Bashkin V. A., Lomazova I. A. Cellular resource driven automata nets // Fundamenta Informaticae. — 2012. — Vol. 120, no. 3–4. — P. 245–259.
15.Башкин В. А. Модульные сети активных ресурсов // Автоматика и вычислительная техника. — 2012. — Т. 1. — С. 5–18.
16.Bashkin V. A., Lomazova I. A., Novikova Y. A. Timed resource driven automata nets for distributed real-time systems modelling // Parallel Computing Technologies / Ed. by Victor E. Malyshkin. — Springer Berlin Heidelberg, 2013. — Vol. 7979 of Lecture Notes in Computer Science. — P. 13–25.
17.Башкин В. А. Методы насыщения сетей Петри с невидимыми переходами // Моделирование и анализ информационных систем. — 1999. — Т. 6. — С. 16–20.
18.Bashkin V. A., Lomazova I. A. Reduction of Coloured Petri nets based on resource bisimulation // Joint Bulletin of NCC & IIS, Comp. Science. — 2000. — Vol. 13. — P. 12–17.
19.Башкин В. А. Бисимуляция ресурсов в сетях Петри с невидимыми переходами // Современные проблемы математики и информатики: Сборник научных трудов молодых ученых, аспирантов и студентов. — 2002. — Т. 5. — С. 79–85.
20.Башкин В. А. Конечное представление отношений на мультимножествах // Моделирование и анализ информационных систем. — 2003. — Т. 10. — С. 56–59.
21.Башкин В. А. Свойства бисимуляции разметок в ограниченных сетях Петри // Моделирование и анализ информационных систем. — 2006. — Т. 13, № 1. — С. 35–40.
22.Bashkin V. A. Nets of active resources for distributed systems modeling // Joint Bulletin of NCC & IIS, Comp. Science. — 2008. — Vol. 28. — P. 43–54.
23.Bashkin V. A. Formalization of semantics of systems with unreliable agents by means of nets of active resources // Programming and Computer Software. — 2010. — Vol. 36, no. 4. — P. 187–196.
24. Bashkin V. A., Lomazova I. A. Modelling multiagent systems with the helpof generalized nets of active resources // Cybernetics and System Analyses. — 2011. — Vol. 47, no. 2. — P. 202–209.
25.Bashkin V. Approximating bisimulation in one-counter nets // Automatic Control and Computer Sciences. — 2012. — Vol. 46, no. 7. — P. 317–323.
26.Bashkin V. A. Modular nets of active resources // Automatic Control and Computer Sciences. — 2012. — Vol. 46, no. 1. — P. 1–11.
27.Башкин В. А., Ломазова И. А. О языках вложенных рекурсивных сетей Петри // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT’99). Труды международной конференции, Переславль-Залесский, 6–9 декабря 1999. — М.: Наука. Физматлит, 1999. — С. 9–13.
28.Bashkin V. A., Lomazova I. A. Resource bisimulations in Nested Petri Nets // Concurrency, Specifcation and Programming. Proc. of CS&P’2002. Vol.1. Informatik-Bericht 161. — Humboldt-Universitat zu Berlin, Berlin, 2002. — P. 39–52.
29.Башкин В. А. Бисимуляция ресурсов в сетях Петри // Тез. доклада на IV ежегодной научно-практической конференции студентов, аспирантов и молодых ученых Ярославской области. — 2003. — С. 15.
30.Bashkin V. A. Applications of marking bisimulation for adaptive workfow management // Concurrency, Specifcation and Programming. Proc. of CS&P 2005 / Ed. by L. Czaja. — Warsaw University, Warsaw, 2005. — P. 41–49.
31.Башкин В. А. Моделирование очереди (FIFO) рекурсивными вложенными сетями Петри // Современные проблемы математики и информатики. — Ярославль: ЯрГУ, 2005. — Т. 7.
32.Башкин В. А., Ломазова И. А. Подобие обобщенных ресурсов в сетях Петри // Труды второй всероссийской конференции “Методы и средства обработки информации” (МСО-2005). — М. : Изд-во ВМК МГУ, 2005. — С. 330–336.
33.Башкин В. А., Ломазова И. А. Эквивалентность ресурсов в моделях потоков работ // Программные системы: теория и приложения. Труды международной конференции. — Т. 1. — Переславль-Залесский : ИПС РАН, 2006. — С. 323–338.
34.Башкин В. А., Ломазова И. А. О параметризованном построении подобия ресурсов в сетях Петри // Интеллектуальные системы и компьютерные науки. Труды IX-ой Международной конференции. — Т. 1. — М. : Изд-во мехмата МГУ, 2006. — С. 56–58.
35.Башкин В. А. Расширение бисимуляции разметок ограниченных сетей Петри // Дискретные модели в теории управляющих систем. Труды VII-ой Международной конференции. — М. : Изд-во ВМиК МГУ, 2006.
36.Bashkin V. A., Lomazova I. A. Resource equivalence in workfow nets // Concurrency, Specifcation and Programming. Proc. of CS&P’2006. Vol.1. — Humboldt-Universitat zu Berlin, Berlin, 2006. — P. 80–91.
37.Башкин В. А. О междисциплинарных связях курса “Сети Петри” // Преподавание математики в классическом университете: Тезисы докладов научно-методической конференции преподавателей математического факультета Яр-ГУ. — Ярославль : ЯрГУ, 2007. — С. 14–17.
38.Башкин В. А. Об одном способе моделирования мультиагентных систем с динамической структурой // Параллельные вычисления и задачи управления. Труды IV-й международной научной конференции PACO’2008. — М. : ИПУ РАН, 2008. — С. 1462–1482.
39.Башкин В. А. Специальные виды бисимуляции разметок ограниченных сетей Петри // Материалы зимних научных чтений ФСИТ РГСУ (1-4 февраля 2006 года). — М. : Логос, 2008.
40.Bashkin V. A. On the single-periodic representation of reachability in one-counter nets // Concurrency, Specifcation and Programming. Proc. of CS&P 2009 / Ed. by L. Czaja, M. Szczuka. — Warsaw University, Warsaw, 2009. — P. 60–71.
41.Башкин В. А. Построение дерева достижимых состояний в односчетчико-вых сетях Петри // Компьютерные науки и технологии. Сборник трудов Первой Международной научно-технической конференции. — Т. 1. — Белгород, 2009. — С. 19–22.
42.Башкин В. А. Сети активных ресурсов как обобщение двойственных сетей Петри // Дискретные модели в теории управляющих систем. Труды VIII-ой Международной конференции. — М. : МАКС Пресс, 2009. — С. 23–28.
43.Башкин В. А., Ломазова И. А. Двухуровневое моделирование мультиагент-ных систем на основе обобщенных сетей активных ресурсов // Труды семинара “Семантика, спецификация и верификация программ: теория и приложения”. — Казань, 2010. — С. 32–36.
44.Башкин В. А. Глобальная верификация свойств достижимости систем с одним неограниченным ресурсом // Информационные технологии в науке, образовании и производстве. Материалы IV Международной научно-технической конференции. — Т. 2. — Орел, 2010. — С. 6–11.
45.Башкин В. А. Об использовании однопериодических базисов для глобальной символьной верификации // Труды семинара “Семантика, спецификация и верификация программ: теория и приложения”. — Казань, 2010. — С. 26–31.
46.Bashkin V. A., Lomazova I. A. Resource Driven Automata Nets // Concurrency, Specifcation and Programming. Proc. of (CS&P 2010). — Berlin, Humboldt-Universitat zu Berlin, 2010. — Vol. 1. — P. 37–48.
47.Bashkin V. A. Approximating bisimulation in one-counter nets // Proc. of “Program semantics, specifcation and verifcation: theory and applications”. — St.Petersburg, 2011. — P. 10–17.
48.Bashkin V. A., Lomazova I. A. Cellular resource-driven automata // Concurrency, Specifcation and Programming. Proc. of CS&P 2011 / Ed. by L. Czaja, M. Szczuka, A. Skowron, M. Kacprzak. — Poland, Bialystok University of Technology, 2011. — P. 29–41.
49.Bashkin V. A. On the modularity in Petri Nets of Active Resources // Proc. Of Petri Nets Compositions (Petri Nets 2011). Newcastle-upon-Tyne. — Vol. 726 of CEUR. — 2011. — P. 33–47.
50.Bashkin V. A. One-counter circuits // Concurrency, Specifcation and Programming. Proc. of CS&P’2012. Vol.1. — Humboldt-Universitat zu Berlin, Berlin, 2012. — P. 25–36.
51.Bashkin V. A. On the hereditary properties of modular nets // Proc. of “Program semantics, specifcation and verifcation: theory and applications”. — N.Novgorod, 2012. — P. 24–31.
52.Bashkin V. A., Lomazova I. A. Soundness of workfow nets with an unbounded resource is decidable // Joint Proc. of Petri Nets and Software Engineering (PNSE’13) and Modeling and Business Environments (ModBE’13). Milano. — Vol. 989 of CEUR. — 2013. — P. 61–75.
53.Bashkin V. A. One-dimensional resource workfow nets // Proc. of “Program semantics, specifcation and verifcation: theory and applications”. — Yekaterinburg, 2013. — P. 11–20.
54.Башкин В. А., Ломазова И. А. Эквивалентность ресурсов в сетях Петри. — М. : Научный мир, 2008.
55.Башкин В. А. Модели потоков работ. — Ярославль : ЯрГУ, 2009.