Mavzu: parallel dasturlashda kelishuv. Petri tarmog‘i magistrant: A

I(t) = {p1, p2, p2}, O(t) = {p4, p5, p3}, i (p1) = 3,
i (p2) = 1, i (p3) = 1, i (p4) = 0, i (p5) = 1

o'tish t hayajonlangan (t*), chunki uning barcha kirish pozitsiyalarida, by

kamida bitta marker va u ishga tushirilgandan so'ng, asl belgi rasmning o'ng tomonida ko'rsatilgan belgiga o'tadi:
i' (p1) = 3 – 1 = 2, i' (p2) = 1 – 1 = 0, i' (p3) = 1 – 1 + 1 = 1,
i' (p4) = 0 + 1 = 1, i' (p5) = 1 + 1 = 2.
O'tish t ikkinchi marta ishga tusha olmaydi, chunki uning kirish joylaridan biri (p2) bo'sh (markerlarni o'z ichiga olmaydi)
Biz yana bir bor ta'kidlaymiz: umumiy holatda har qanday hayajonli o'tishning boshlanishi Petri tarmog'ining etiketkasining o'zgarishiga olib keladi. Da
bu faqat kirish va chiqish pozitsiyalarining belgilarini o'zgartirishi mumkin
hayajonli o'tish. Berilgan o'tish uchun kirish va chiqish bo'lgan pozitsiyalarning etiketkasi undan keyin o'zgarmaydi.
tetiklash.
Petri tarmog'ining joriy yorlig'ini tarmoq holati deb tushunish mumkin
Petri ma'lum bir vaqtda. hayajonli o'tishning boshlanishi,
mahalliy harakat bo'lib, odatda o'zgarishlarga olib keladi
tarmoq belgisi va, demak, uning global (to'liq) holati.
Petri tarmog'i hayajonlangan o'tishlarni qo'zg'atish natijasida bir yorliqdan ikkinchisiga o'tish orqali ishlaydi. Shunday qilib, bu mumkin
SP xatti-harakatlarining dinamikasi (uning o'z vaqtida ishlashi)
uchlik < µ 0,→, M > bilan tavsiflanishi mumkin, bu erda µ 0
boshlang'ich brend
aylanma; → - belgilarga to'g'ridan-to'g'ri rioya qilish nisbati (yozuv
u v
µ → µ µu belgisidan keyin darhol belgilanishini bildiradi
v
µ ); M - tarmoqning ruxsat etilgan belgilari (holatlari) to'plami
Petri mk 0 dan boshlanadi.
Belgilash µ = (µ1, µ2,..., µn ) vektori bilan ifodalanishi mumkin, uning komponentlari soni SP pozitsiyalari soniga va i-komponentning qiymatiga teng,
1 ≤ i ≤ n, natural son µ1 = µ( pi ) – i-o‘rindagi markerlar soni.

Rasmda ko'rsatilgan Petri tarmog'ining misolini ko'rib chiqing. 2.4, etti pozitsiyasi bilan P = {p1, p2,..., p7} va beshta o'tish T = {t1,t2,t3,t4,t5} .

Ushbu Petri tarmog'ini quyidagicha ta'riflash mumkin
I(t1) = {p1, p2},
O(t1) = {p3, p4} , I(t2 ) = {p3} , O(t2 ) = {p5}, I(t3) = {p3, p6} ,
O(t3) = {p5, p6}, I(t4 ) = {p4}, O(t4 ) = {p7} , I(t5) = {p7} , O(t5) = {p2}.

. Guruch. 2.4. Petri tarmog'iga misol
Uning dastlabki belgilash vektori µ 0 = {µ10, µ20,..., µ70} faqat uchta nolga teng bo‘lmagan komponentga ega: µ10 = 2, µ20 = µ60 = 1. Shunday qilib, boshlang‘ich belgi µ 0 = (2100010) vektori bilan ifodalanadi. .
Bunday boshlang'ich bilan
markalash faqat bitta hayajonli o'tishga ega t1* . Ishlagandan so'ng, bitta marker p1 va p2 kirish pozitsiyalaridan va uning ichida chiqariladi
p3 va p4 chiqish pozitsiyalari har biriga bittadan marker qo'yiladi

Shunday qilib,

m 0 = (2100010) boshlang'ich belgisidan darhol marp4 dan keyin keladi
p1 p2
p3
*bir
t
t2 t3 t4
p5
p6
p7
t5
tuzatish µ1 = (1011010) : µ 0 → µ1. Ushbu belgi bilan t4, t2 va t3 o'tishlari hayajonlanadi. Oxirgi ikkitadan faqat bittasi ishlashi mumkin, chunki
ulardan birortasining faollashishi ikkinchisining qo'zg'alishini olib tashlaydi

Modeldagi hayajonlangan o'tishning javob vaqti ko'rsatilmagan: hisobga olinadi

chegaralangan bo'lsa-da, o'zboshimchalik bilan. Ushbu misolda t2 yoki t3 ishga tushirilganda, m 2 = (1001110) bir xil belgiga erishiladi va t ishga tushirilganda
4 belgisi hosil bo'ladi m 3 = (1010011) . T2 va t4, t3 va t4 ning bir vaqtning o'zida ishlashi mumkin. Bunday holda, Petri tarmog'ining holati µ 4 = (1000111) belgisi bilan aniqlanadi.

Ba'zi mualliflar bir vaqtning o'zida ishlash imkoniyatini rad etadilar

ikki yoki undan ortiq hayajonli o'tishlar, uning past ehtimolini nazarda tutgan holda,
ammo, bu nuqtai nazar, ba'zi jihatlari bilan qulay bo'lib, o'tish davridagi Petri to'rlarining xatti-harakatlarining mustaqilligi kontseptsiyasiga zid keladi.