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

Оглавление

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. Провести анализ свойств переходов сети Петри на живость и устойчивость.