Страницу Назад
Поискать другие аналоги этой работы

Запись информации на магнитный носитель

ID: 115171
Дата закачки: 09 Октября 2013
Продавец: Qiwir (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа
Форматы файлов: Microsoft Office

Описание:
Оглавление

1. Задание

2. Описание процесса

3. Построение метамодели «асинхронный процесс»

4. Свойства процесса

4.1 Эффективность

4.2 Управляемость

4.3 Простота

5. Операции над процессом

5.1 Репозиция

5.2 Редукция

5.3 Композиция

6. Построение сети Петри

7. Анализ свойств мест с. Петри на ограниченность и безопасность

8. Анализ свойств переходов с. Петри на живость и устойчивость

9. Заключение

Список использованной литературы

1. Задание

Целью расчетно-графического задания является получение опыта в конструировании метамодели «асинхронный процесс» и модели «сеть Петри» и в исследовании их свойств.

Предлагается выполнить следующее:

1. Выделить компоненты рассматриваемого процесса.

2. Сформировать множество ситуаций рассматриваемого процесса.

3. Описать модель «асинхронный процесс».

4. Определить траектории выполнения процесса и классы эквивалентности ситуаций и сделать вывод о свойствах рассматриваемого процесса (эффективность, управляемость, простота).

5. Определить множество дополнительных ситуаций для возобновления процесса (если они есть) и построить полную или частичную репозицию процесса.

6. Выделить входные или выходные компоненты асинхронного процесса, выбрать требуемые и построить на их основе редукцию процесса.

7. Определить два подпроцесса на базе исследуемого, выбрать удобный вид композиции (последовательную или параллельную) и построить ее.

8. Описать составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри».

9. Провести анализ свойств мест сети Петри на ограниченность и безопасность.

10. Провести анализ свойств переходов сети Петри на живость и устойчивость.

Размер файла: 59,3 Кбайт
Фаил: