Pdf-xchange 0 Examples


-rasm. 1.1-rasmda tasvirlangan hisoblash graflariga ekvivalent Petri  tarmoqlari


Download 6.97 Mb.
Pdf ko'rish
bet17/242
Sana03.12.2023
Hajmi6.97 Mb.
#1798925
1   ...   13   14   15   16   17   18   19   20   ...   242
Bog'liq
konf02

 
1.2-rasm. 1.1-rasmda tasvirlangan hisoblash graflariga ekvivalent Petri 
tarmoqlari 
Yuqorida ifodalangan usullar asosida qurilgan 1.1-rasmdagi hisoblashlar 
grafi uchun 1.2-rasmda Petri tarmoqlari tasvirlangan.  
Markerlangan graflarning barcha v
j
va v
k
tugunlada T
j,k
= W
j,k
uchun 
hisoblash graflarni modellashtirishining mumkinligini osongina ko`rsatish 
mumkin. Biroq, hisoblash graflari T
j,k
 > W
j,k 
holatli vaziyatlarni modellashtirish 
imkoniyatiga ko`ra markerlangan graflardan quvvatliroq vosita hisoblanadi.  
Boshqa tomondan esa, hisoblash graflari va chekli avtomatlar 
markerlangan graflar hamda chekli avtomatlar kabi solishtirilmaydi. Hisoblash 
graflari qaror qabul qilish yoki shartli bajarishni modellashtira olmaydi, bu 
cheklanish markerlangan graflar uchun ham o`rinli. Shunday qilib, model 
iyerarxiyasi 1.3-rasmda ko`rsatilgan ko`rinishga ega bo`ladi. 
 
 
1.3- rasm. Modellar ierarxiyasiga hisoblash graflarning qo`shilishi 


28 
Karp va Miller hisoblash graflarini, ayniqsa, faollik va xavfsizlik 
masalalarida atroflicha tadqiq qilishgan. Haqiqatda esa ularni hisoblash 
graflarining tugallanganlik shartlar(ya’ni nofaollik shartlari)ni ta’minlash va 
aniqlash masalasi qiziqtirgan. Ma’lumotlar navbati yoylar (vaziyatlar) kabi 
ifodalangan holatda Karp va Miller tomonidan o`tkazilgan cheklanishlar 
tadqiqotlari navbatni maksimal uzunligini aniqlashga yo`naltirilgan edi. 
Belgilashlardagi va maqsaddagi bunday farqlar hamda hisoblash graflari va 
markerlangan graflar orasidagi modellarni aniqlashdagi tafovutlar – hisoblash 
graflarining markerlangan graflar bo`yicha Karp va Miller natijalari va 
algoritmlari biror kishining urunishlari yaqinlashmaganligining sababi bo`lib 
xizmat qiladi.  

Download 6.97 Mb.

Do'stlaringiz bilan baham:
1   ...   13   14   15   16   17   18   19   20   ...   242




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling