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

Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой

2012

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


Башкин В. А., Ломазова И. А. О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом // Моделирование и анализ информационных систем. 2013. Т. 20. № 4. C. 23-40. 
Vladimir A. B., Lomazova I. A. One-dimensional Resource Workow Nets, in: Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013. Yaroslavl : Ярославский государственный университет, 2013. С. 11-20. 
Vladimir A. B., Lomazova I. A. Soundness of Workflow Nets with an Unbounded Resource is Decidable, in: Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13). Satellite events of the 34th International Conference on Application and Theory of Petri Nets and Concurrency. Milano, Italy, June, 2013., 2013. С. 61-75. 
Buchina N. G., Dworzanski L. W. The tool for modeling of wireless sensor networks with nested Petri nets, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. Kazan : Институт системного программирования Российской академии наук, 2013. С. 15-18. 
Dworzanski L. W., Frumin D. I. NPNtool: Modelling and Analysis Toolset for Nested Petri Nets, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. Kazan : Институт системного программирования Российской академии наук, 2013. С. 9-14.