Моделирование сетью Петри работы делителя ДЧ с фиксированной запятой на ДСОК.

Целью данной курсовой работы является применение на практике сетей Петри (СП) для моделирования и исследования различных систем. В данном случае была выбрана работа делителя ДЧ с фиксированной запятой на ДСОК. Устройство предназначено для работы в современных цифровых системах, позволяющих автоматизировать процессы сбора информации о параметрах объекта, обработки этой информации, принятии решений на ее основе и соответствующих изменений условий эксперимента, характеристик объекта или хода технологического процесса. Деление является одной из наиболее распространенных операций, выполняемых в любой цифровой системе. Выбор метода деления зависит от того, в каком коде хранятся двоичные числа в памяти ЭВМ. Операции над двоичными числами всегда включаются в состав основных команд универсальных ЭВМ. Делитель на ДСОК является простым и универсальным устройством. Анализ Сетей Петри позволяет получать важную информацию о структуре и о поведении всех процессов, протекающих в моделируемом объекте. Модель - это представление, как правило, в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Множество физических явлений можно описать с помощью математических моделей. И при всём многообразии моделируемых систем выделяется то, что они состоят из взаимодействующих компонент. При этом каждая из них может также являться системой. Каждую из них можно тоже представить как систему, имеющую своё начальное состояние, некоторый процесс и конечное состояние. Именно здесь очень удобно применять сеть Петри. Проанализировав отдельные компоненты можно проанализировать и всю систему в целом [1,7].

Введение. 3 1. Исследовательская часть. 4 1.1 Описание методов моделирования отличных от инструментария «сети Петри». 4 1.2 Расширения сетей Петри. 10 1.3 Сети Петри. 13 2. Конструкторская часть 16 2.1 Описание моделируемого процесса деления. 16 2.2 Анализ сети Петри. 19 3. Технологическая часть. 21 3.1 Описание программы для работы с сетями Петри. 21 3.2 Структура файла. 26 Заключение. 28 Список использованной литературы. 29

1. Пухальский Г.И. , Новосельцева Т.Я. Проектирование дискретных устройств на интегральных микросхемах: Справочник. - М.: Радио и связь, 1990. 2. http://cito-web.yspu.org/link1/metod/theory/node14.html 3. http://ru.wikipedia.org/wiki/Байесовская_сеть_доверия. 4. http://e-educ.ru/bd13.html 5. http://ru.wikipedia.org/wiki/IDEF. 6. Zaitsev D.A., Shmeleva T.R. Simulating Telecommunication Systems with CPN Tools: Students' book, Odessa: ONAT, 2006.-60p. 7. Питерсон Дж. Теория сетей Петри и моделирование систем. - М. Мир,1983.-264с.