• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

2012

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

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


Vladimir A. Bashkin, 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 / Ed. by V. Nepomniaschy, V. Sokolov. Nizhny Novgorod : Nizhny Novgorod State University, 2012. P. 55-63.
Дворянский Л.В., Ломазова И.А. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools // Моделирование и анализ информационных систем. 2012. Т. 19. № 5. С. 115-130.
Vladimir A. Bashkin, 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