• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Версия для слабовидящихЛичный кабинет сотрудника ВШЭПоискМеню

Методы анализа семантических свойств распределенных систем с объектной структурой

2012

Проект направлен на разработку новых методов верификации моделей распределенных систем. В качестве основного формализма рассматриваются вложенные сети Петри – расширение классических сетей Петри, позволяющее строить объектно-ориентированные модели. Задачи проекта связаны с разработкой новых методов анализа семантических свойств вложенных сетей Петри, в частности, свойств характеризующих корректное функционирование системы. Работа носит фундаментальный характер. В конечном счете, эти исследования направлены на повышение надежности параллельных и распределенных систем и являются весьма актуальными в контексте бурного развития информационных систем и сетей.

Публикации по проекту:


Vladimir A. B., Lomazova I. A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236. doi
Dworzanski L. W., Lomazova I. A. On Compositionality of Boundedness and Liveness for Nested Petri Nets // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 275-293. doi
Дворянский Л. В., Ломазова И. А. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools // Моделирование и анализ информационных систем. 2012. Т. 19. № 5. C. 115-130. 
Vladimir A. B., Lomazova I. A. Cellular Resource-Driven Automata // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257. doi
Dworzanski L. W., Lomazova I. A. Towards a Translation from Nested Petri Nets into Colored Petri Nets, in: Program Semantics, Specification and Verification: Theory and Applications. The conference materials. Nizhny Novgorod : Нижегородский государственный университет им. Н.И. Лобачевского, 2012. С. 55-63.