Детальная информация

Название: Применение цветных сетей Петри для анализа параллельных процессов: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Информационные системы и базы данных»
Авторы: Ксенофонтова Вера Андреевна
Научный руководитель: Туральчук Константин Анатольевич
Другие авторы: Пархоменко Владимир Андреевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2020
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: цветные сети Петри; параллельные процессы; coloured Petri nets; parallel processing
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.03.03
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
Ссылки: Отзыв руководителя; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2020/vr/vr20-2123
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

В рамках данной работы было разработано и протестировано веб-приложение для построение цветной сети Петри по полученному коду и анализа её свойств. В первой главе раскрывается предметная область: понятия сетей Петри, цветных сетей Петри, их применение для моделирования параллельных процессов, методы анализа сетей Петри. Во второй главе описывается этап проектирования, объясняется выбор типа приложения, методов анализа кода и сети. В третьей главе подробно разбирается практическая реализация, дано разъяснение каждого этапа работы приложения. В четвёртой главе приведены результаты тестирования.

As part of this work, a web application was developed and tested for building a coloured Petri net using the received code and analysing its properties. The first chapter reveals the subject area: the concepts of the Petri nets and the coloured Petri nets, their application for modelling the parallel processes, the methods for analysing Petri nets. The second chapter describes the design phase, explains the choice of an application type, the methods of the code and net analysis. In the third chapter, the practical implementation is discussed in detail, an explanation of each stage of the application. The fourth chapter provides the test results.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ)
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 28
За последние 30 дней: 0
Подробная статистика