Курсовая работа на тему: Третьей части рассмотрены вопросы анализа функционирования и программного моделирования сетей Петри.

Введение

Работа посвящена синтезу дискретных устройств с "памятью" (конечных автоматов) и "без памяти" (комбинационных схем), а также анализу реально протекающих процессов с помощью сетей Петри.

В первой части рассмотрена минимизация булевых функций, заданных в виде СДНФ, с помощью двух различных способов : карт Карно и метода склеивания Квайна - МакКласки. Полученные в виде минимизированных ДНФ функции были приведены к базисам, состоящим всего из одной функции : И - НЕ и ИЛИ - НЕ , а затем реализованы в виде комбинационных схем на соответствующих логических элементах.

Во второй части заданный по условию в функциональном виде конечный автомат был минимизирован по числу состояний. Для полученного автомата был построен граф состояний. Затем, перейдя к двоичному представлению входных, выходных сигналов и сигналов состояния, в автомате были выделены элементы памяти и комбинационная часть, которая затем была минимизирована по числу переменнных. Автомат был реализован в базисе И - ИЛИ - НЕ с использованием D - триггера и задержки.

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

Оглавление

- Введение 6

- Синтез комбинационных схем

- Постановка задачи

- Теоретические сведения

- Расчёты и полученные результаты

- Выводы по разделу

- Синтез конечных автоматов

- Постановка задачи

- Теоретические сведения

- Расчёты и полученные результаты

- Выводы по разделу

- Сети Петри

- Постановка задачи

- Теоретические сведения

- Расчёты и полученные результаты

- Выводы по разделу

- Заключение . 32

- Литература 33

- Приложение А

Заключение

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

Список литературы

1 Сигорский В.П. Математический аппарат инженера.- Киев:Техника, 1975. -538 с.

2 Г.Корн, Т.Корн Справочник по математике для научных работников и инженеров.- М.: Наука, 1984. -831 с.

3 В.Брауэр Введение в теорию конечных автоматов.- М.: Радио и связь, 1987. -392 с.

4 Фаронов В.В. Турбо Паскаль 7.0: практика программирования. - М.: Нолидж, 1997. -432 с.