Петри желісі

Комментарийлер: міндетті емес өріс. Операндалар өрісінен «;» таңбасымен ерекшеленеді. Комментарийді жолдың басынан жазуға болады, бұл жағдайда жолдың 1- позициясына;  немесе * таңбасымен қойылады.

GPSS/РС- де комментарий тек латын алфавитінің бас және кіші әріптерімен жазылады, ал GPSS World –та кириллица әріптері де қолданылады.

Блокты сипаттау жолы GPSS/РС – де 79 символға, ал GPSS World- та 250 символға дейін рұқсат етілген. Форматтарды сипаттауда [ ] (квадрат жақшалар) өрістің міндетті еместігін көрсетеді.

Аттар мен белгілер блоктардың, операторлардың, командалардың және ССА- ның атаулары немесе атауларының бастапқы символдары бола алмайды.

1.2 Петри желiсiне шолу

Петри желiсi - бұл сипаттама және зерттеудiң аспабы стохасткалық ақпаратты өңдеу жүйелердi и/или детерминация жасамалған параллел таралған көп бағдарламалы, асинхрондық.

Петри желiсi график түрiнде құрал ретiнде блок-схема тәрiздi үлгi жасалатын жүйенiң көрнекi ұсынысы үшiн қолданыла алады құрылымдық схемалар және графиктiк торларға тәрiздi. Фишерлердiң ұғымы желi ендiрiлетiн бұл жүйелердiң жұмыс жасауын динамиканы және параллел процесстерiн пiшiндеуге мүмкiндiк бередi. Петри желiсiнiң математикалық құрал ретiнде аналитикалық ұсынысы жүйелердiң динамика суреттейтiн математикалық байланыстар тағы басқалар күйдi теңдеу, алгебралық теңдеулердi құрауға мүмкiндiк бередi.

Петри желiсi - бұл сипаттама және динамикалық жүйелердiң зерттеуi үшiн арналған аспап. Петри желiлерiнiң теориясының дамытуы екi бағыттар бойынша жүргiзiлдi. Петри желiлерiнiң үстiрт теориясы қажеттi негiзгi құралдар, әдiстер және петри желiлерiнiң қолдануы үшiн қажеттi ұғымдардың өңдеуiмен шұғылданады. Петри желiлерiнiң қолданбалы теориясы жүйелердiң пiшiндеуiне петри желiлерiнiң қолдануымен және олардың талдауына негiзiнен байланған. Ол дәл қазiр үлгiлер, әдiстер және ол және тiптi iс жүзiнде есептеушi техника барлық салаларындағы қосымшаларының көлемдi саны тыс болатын талдаулардың құралдарының үлкен санында болады. Қолданбалы облыстардың талаптарымен сәйкес петри желiлерiнiң иерархиялық үлгiлер және тағы басқалар уақытша, ықтимал мiнездемелердiң есепке алуына, қолдану мәлiметтер, құрастыру бағытталған әр түрлi кеңейтулерiн жасалды.

Петри желісінің түрлері:

          Уақытша Петри желісі  

          Стохастикалық Петри желісі

          Функционалды Петри желісі

          Түрлі түсті Петри

          Ингибиторлық Петри желісі.

          Иерархиялық Петри желісі

          WF-желісі

Петри желiлерiндегi пiшiндеу оқиғалы деңгейде iске асады. Неткен әсерлер жүйелерде болғанын, неткен күй бұл әсерлерге алдында болатынын және неткен күйлер жүйе әсердiң орындауынан кейiн қабылдайтынын анықталады. Петри желiлерiндегi оқиғалы үлгiнiң орындаулары жүйенiң мiнез-құлығын суреттейдi.

Сурет 1 – таңбаланған Петри желiсi

Өткелдер маңызды жоспарда позиция зерттелетiн жүйе тән оқиғаларға сәйкес келедi - олардың пайда болуының шарттарына. (оқиға ) өткел кiрiс және шығатын позициялар, тиiстi алғы шарттар және осы оқиғаны шартқа нақтылы санмен бейнеленедi. Өткелдер, позициялар және доғалардың жиынтығы статикалық жүйенi сипаттауға мүмкiндiк бередi. Динамиканың сипаттамалары үшiн тағы бiр объект жүргiзiледi - (token ) таңбалағыш, немесе (позицияның iшi нүктемен белгi қояды) шарт орындауға не бiр сәйкес келетiн позицияның таңбасы деп аталатын. Позициялардағы таңбалағыштарының орналастырылуы желiнiң белгiсiмен деп аталады. Егер әрбiр оның кiретiн позициясында оқиғаның шабуылы үшiн бiрдей барлық керектi шарттардың орындау бiр таңбалағыш ең болмаса бар болса өткел белсендi болып есептеледi. Петри желiлерiнiң терминдерiндегi оқиғаның шабуылына өткелдiң iстеуiмен көрiнедi, кiретiн позициялардан бұл таңбалағыштарда әрбiр демалыс позицияларына алып қойып жамалады. Зерттелетiн жүйенiң ағымдағы күйi таңбалағышпен үлестiрiлумен анықталады

Басты желiлер - бұл желi өткелдердiң арасындағы басты байланыс есепке алатын. Осы тип желiлерiндегi болған жағдайда екi және белсендi өткелдерден астам тек қана жоғарғы басымдылық болатын өткелдi жұмыс iстеу алады. Жiктелген желiлер бөлiнбейтiн компоненттермен қатар өздерiсiнiң өзiмен ұсынатын жүйелерiнiң құрама компоненттерiнде болатын иерархиялық жүйелердiң пiшiндеуi үшiн қызмет көрсетедi. Әрбiр өткелге сырланған желiлерiнде демалыс позицияларының таңбалауы кiретiн таңбалағыштардың түстерiне байланысты анықтайтын функция сәйкестiкке тұрғызылады.

Петри желiсiнің қолданылуы:

1) Бизнес-үрдістерді модельдеу үшiн. IDEF3 нотациясындағы функционалдық диаграммалары Петри желiсiне өзгере алады. Диаграммада әрбiр жұмысқа Петри желiсiнiң өтуіне сәйкес келедi. Позициялар жұмысты тiкелей және қиылыс жалғастыратын бағыттарға сәйкес келедi. Таңбалар өнiм, құжаттар және тағы басқаларға сәйкес келеді. Таңбаның интерпретациясының өтуіне байланысты өзгешеленеді.

2) Параллель есептеулерi және құрылымдардың пiшiндеулерi үшiн. Егер өтуді процедура деп санасақ, онда ол мәндер болған жағдайда барлық өз аргументтері түзу орындалады және мән барлық шығыс айнымалыны iстеп шығарады. Өудiң кiретiн позициялары кіріс аргументтеріне сәйкес, ал шығыс - қайтарылатын мәндерге сәйкес келеді. Өтудiң басқа интерпретациясында өту басқа құрылғыны сипаттауы мүмкін. Егер барлық кiретiн шарттар орындалса(бiрақ тиiстi емес), құрылғы  жұмыс iстей алады.

3) Оқу процессінiң модельденуі үшiн. Онда позиция оқу процессінiң кейбір жағдайына сәйкес болады, белгі оқушымен, ал өту - бір тақырыптың оқушылар арқылы зерттелуiмен сәйкес келедi.

2        Практикалық бөлім

2.1  Есептің берілгені

2.2  Структуралық сызбасы

2.3  Блок-диаграмма құру

2.4 GPSS-те программа құру

              GENERATE              20,8                            Транзактардың келіп түсуі             

              QUEUE              bufer                            Транзактардың кезекке тұруы

              TRANSFER              PICK,chast_1,chast_2              Транзактарды бағыттау             

              DEPART              bufer                            Транзактардың кезекті босатуы

chast_1              TRANSFER              ,met_1                            Транзактарды бағыттау

              TRANSFER              ,met_2                            Транзактарды бағыттау

chast_2              TRANSFER              ,met_3                            Транзактарды бағыттау             

met_1              QUEUE              buf_1                            Транзактардың кезекке тұруы

              SEIZE              canal_1                            Құрылғыны орын басу

              DEPART              buf_1                            Транзактардың кезекті босатуы

              ADVANCE              12,8                            Транзактіге қызмет көрсетілуі

              RELEASE              canal_1                            Құрылғыны босату

              TRANSFER              ,met_1a                            Транзактарды бағыттау

met_1a              QUEUE              buf_1a                            Транзактардың кезекке тұруы

              SEIZE              canal_1a                            Құрылғыны орын басу

              DEPART              buf_1a                            Транзактардың кезекті босатуы

              ADVANCE              14,10                            Транзактіге қызмет көрсетілуі

              RELEASE              canal_1a                            Құрылғыны босату

              TERMINATE                                          Транзактарды бағыттау

met_2              QUEUE              buf_2                            Транзактардың кезекке тұруы

              SEIZE              canal_2                            Құрылғыны орын басу

              DEPART              buf_2                            Транзактардың кезекті босатуы

              ADVANCE              10,6                            Транзактіге қызмет көрсетілуі

              RELEASE              canal_2                            Құрылғыны босату

              TRANSFER              ,met_3a                            Транзактарды бағыттау

met_3              QUEUE              buf_3                            Транзактардың кезекке тұруы             

              SEIZE              canal_3                            Құрылғыны орын басу

              DEPART              buf_3                            Транзактардың кезекті босатуы

              ADVANCE              16,9                            Транзактіге қызмет көрсетілуі

              RELEASE              canal_3                            Құрылғыны босату

              TRANSFER              ,met_3a                            Транзактарды бағыттау

met_3a              QUEUE              buf_3a                            Транзактардың кезекке тұруы

              SEIZE              canal_3a                            Құрылғыны орын басу

              DEPART              buf_3a                            Транзактардың кезекті босатуы

              ADVANCE              20,12                            Транзактіге қызмет көрсетілуі

              RELEASE              canal_3a                            Құрылғыны босату

              TERMINATE                                          Транзакттардың жүйеден шығуы

              GENERATE              18000                                          Жүйенің жұмыс уақытын орнату             

              TERMINATE              1                            Транзакттардың жүйеден шығуы

2.5 Стандарттық  есеп бойынша талдау

              GPSS World Simulation Report - kurs my.9.1

                   Wednesday, April 25, 2012 03:30:46 

           START TIME           END TIME  BLOCKS  FACILITIES  STORAGES

                0.000          18000.000    39        5          0

              NAME                       VALUE 

          BUFER                       10000.000

          BUF_1                       10005.000

          BUF_1A                      10007.000

          BUF_2                       10001.000

          BUF_3                       10009.000

          BUF_3A                      10003.000

          CANAL_1                     10006.000

          CANAL_1A                    10008.000

          CANAL_2                     10002.000

          CANAL_3                     10010.000

          CANAL_3A                    10004.000

          CHAST_1                         5.000

          CHAST_2                         7.000

          MET_1                           8.000

          MET_1A                         14.000

          MET_2                          20.000

          MET_3                          26.000

          MET_3A                         32.000

LABEL              LOC  BLOCK TYPE     ENTRY COUNT CURRENT COUNT RETRY

                    1    GENERATE           893             0       0

                    2    QUEUE              893             0       0

                    3    TRANSFER           893             0       0

                    4    DEPART             893             0       0

CHAST_1             5    TRANSFER           309             0       0

                    6    TRANSFER           292             0       0

CHAST_2             7    TRANSFER           292             0       0

MET_1               8    QUEUE              309             0       0

                    9    SEIZE              309             0       0

                   10    DEPART             309             0       0

                   11    ADVANCE            309             0       0

                   12    RELEASE            309             0       0

                   13    TRANSFER           309             0       0

MET_1A             14    QUEUE              309             0       0

                   15    SEIZE              309             0       0

                   16    DEPART             309             0       0

                   17    ADVANCE            309             0       0

                   18    RELEASE            309             0       0

                   19    TERMINATE          309             0       0

MET_2              20    QUEUE              292             0       0

                   21    SEIZE              292             0       0

                   22    DEPART             292             0       0