3. Порядок выполнения работы

3.1. На основе диаграммы прецедентов Rational Rose создайте требования в Requisite Pro.

3.2. Создайте матрицу атрибутов для импортированных прецедентов.

3.3. Создайте функциональные требования.

3.4. Создайте трассировочную матрицу.

4. Требования к отчету

Отчет к практической работе должен содержать:

• титульный лист;

• условия задания;

• порядок решения;

• ответы на контрольные вопросы.

5. Контрольные вопросы

1. Для моделирования каких процессов предназначены сети Петри?

2. Как моделируется конфликт между событиями в сети Петри?

3. Что такое маркировка?

4. Какие переходы называются разрешенными?

5. Что представляет собой фишка (метка)?

6. Какие свойства сетей Петри вы знаете?

7. Какая сеть является безопасной?

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

1. Котов В.Е. Сети Петри. – М.: Наука, 1984. – 160 с.

2. Куликов Г.Г., Речкалов А.В., Набатов А.Н. Автоматизация проектирования информационно-управляющих систем. – Уфа: УГАТУ, 1999. – 223 с.

Составители: НИКУЛИНА Наталья Олеговна

ФЕДОРОВА Наталья Ивановна

ПРИМЕНЕНИЕ АППАРАТА СЕТЕЙ ПЕТРИ

ДЛЯ МОДЕЛИРОВАНИЯ ЭКОНОМИЧЕСКИХ ПРОЦЕССОВ

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

к лабораторной работе по курсу

«Проектирование информационных систем в экономике»

Подписано к печати . .2005 Формат 6084 1/16

Бумага офсетная. Печать плоская. Гарнитура Times New Roman Cyr.

Усл. печ. л. 2,7 Усл. кр.-отт. 2,7. Уч. изд. л. 2,6

Тираж 100 экз. Заказ

Уфимский государственный авиационный технический университет

Редакционно-издательский комплекс УГАТУ

450000, Уфа-центр, ул. К.Маркса, 12