• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Student
Title
Supervisor
Faculty
Educational Programme
Final Grade
Year of Graduation
Ilona Knizhnikova
Program for Analysis of Behavioral Properties of Nested Time Petri Net
Software Engineering
(Bachelor’s programme)
10
2015
Сложность современных вычислительных систем высока и продолжает расти, проек- тирование и отладка таких систем требует большого количества усилий. Для облегчения этой задачи создаются средства для моделирования таких систем и их автоматической верификации. Существует ряд формализмов, позволяющих моделировать распределённые системы, в числе этих формализмов - сети Петри и множество расширений сетей Петри. Но на данный момент среди них нет формализма, непосредственно предназначенного для моделирования мульти-агентных зависимых от времени систем, тогда как такие системы распространены повсеместно. Мульти-агентные системы - системы, включающие в себя автономных агентов, имеющих собственное индивидуальное поведение и взаимодействующих между собой и с основной системой при помощи механизмов синхронизации. Мульти-агентные системы имеют высокую степень параллельности, так как агенты действуют автономно. В качестве примера мульти-агентных зависимых от времени систем можно привести web-сервисы, обеспечивающие обработку запросов за определённое время. Цель данной работы - разработать формализм, предназначенный для моделирования таких систем, расширить и адаптировать некоторые существующие методы анализа для нового формализма и создать приложение, позволяющее моделировать и анализировать мульти-агентные зависимые от времени системы. В процессе работы был создан новый формализм - вложенные временные сети Петри, выработана стратегия разрешения либо избегания противоречий, расширены и адаптированы алгоритмы ключевых состояний и проверки модели, и было разработано программное приложение, реализующее новые формализм и алгоритмы. 36 страниц, 4 главы, 4 рисунка, 12 источников, 5 приложений.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses