Разработка и исследование модели деятельности

Министерство образования и науки РФ[pic 1]

Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

СИБИРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ

Факультет автоматизации и информационных технологий

Кафедра системотехники

 РАЗРАБОТКА И ИССЛЕДОВАНИЕ МОДЕЛИ ДЕЯТЕЛЬНОСТИ

Пояснительная записка к лабораторной работе №9

Руководитель: Михайлов А.С.

____________________

 (подпись)

«___»______________2013г.

          (оценка, дата) 

Разработал: Хайбулин В.А.

Студент группы 23-6

____________________

(подпись)

«_____» ___________2013г.

(дата)

Красноярск, 2013

Задание

Исходные данные:

      Реализация пункта проката автомобилей с помощью CPN Tools.

Схема CPN

[pic 2]

Формальное описание CPN

        Множество позиций этой сети равно P = { ludi, data polucheniya I vozvrata, mesto vozvrata, anketa o zakazchike, ispravleniya, IS, net v nalichii, v nalachii, udovletvoryaet, oplata prokata avto, poluchenie avto }

        Множество переходов T = { mesto polucheniya, usloviya prokata, proverka zapolneniya ankety, poisk neobhod. Avto, izmenenie mesta polucheniya, infa pro avto, vybor avto, dengi v kasse }

В этой раскрашенной сети Петри используются следующие описания множеств цветов и переменных:

        Colset Z = int  with 1..6;

        Var p: Z;

ludi –позиция, которая указывает людей;

data polucheniya I vozvrata –позиция, которая указывает вероятность того что люди  при p>3 могут выбрать место возврата;

mesto vozvrata – позиция, которая указывает  что люди p<4 не могут выбрать место возврата, а должны вернуть на то место, от куда взяли;

anketa o zakazchike – позиция, которая указывает что клиент должен заполнить анкету со своими данными ;