بخشی از پاورپوینت
اسلاید 1 :
فهرست مطالب
مقدمه
شبکه پتری
ساختار شبکه پتری
رفتارهای شبکه پتری
ویژگی های شبکه پتری
نتیجه گیری
اسلاید 2 :
انواع سیستمها
تبدیلی (tra sformatio a ):همواره پایان پذیراست.
واکنشی (reactive) :همواره در تعامل با محیط و اغلب پایان نمی پذیرند.
(مانند osوپروتکل های ارتباطی)
تفاوت در پایان پذیری(termi atio )
سیستم های واکنشی وظایف حساس و بحرانی را به عهده دارند و به دلیل پایان ناپذیری،اعتبارسنجی وارزیابی ودرستی پذیری ، آنهامشکل تر از سیستم های تبدیلی است.
اسلاید 3 :
صورت بندی های مدلسازی سیستم های واکنشی
- مبتنی بر زبان (mode i g a guages) ومتنی
- صوری و دارای قابلیت نمایشی گرافیکی مثل شبکه های پتری
یکی از نقاط ضعف UM اینست که فازهای تجزیه و تحلیل و پیاده سازی در آن از هم جداست و تا اتمام فاز پیاده سازی نمی توان به طور رسمی از صحت تحلیل مطمئن بود.
اما در شبکه های پتری دو فاز تجزیه و تحلیل و پیاده سازی به صورت همزمان صورت می گیرد . این ویژگی سبب شد تا با گذشت زمان اهمیت شبكه هاي پتري بیشتر گردد.
اسلاید 4 :
تز دكتراي آقاي كارل آدام پتري در سال 1962 از دانشگاه دارم آلمان.
بسط تئوري در دانشگاه MIT (دهه 1970)
در دهه 1980 فعاليتها تحقيقي بسيار خوبي در رابطه با كاربردهاي
شبكه هاي پتري، در اروپا و آمريكا انجام گرفت.
در دهه 90، شبكه هاي پتري شروع به ظهور در عرصه هاي مختلف نموده و با پذيرش عمومي مواجه شدند.
اسلاید 5 :
شبكه هاي پتري قادر به توصيف سيستمهائي هستند كه در آنها با يكسري رخداد گسسته و پراكنده مواجه ايم.
شبكه هاي پتري مبتني بر نظريه گرافها كار ميكنند.
شبكه هاي پتري چارچوب رياضي براي آناليز، تاييد صحت، و ارزيابي كارائي را فراهم ميكنند.
شبكه هاي پتري بطور خاص روي موضوعاتِ همزماني و فعاليت هاي
غير همزمان كاربرد دارند.
اسلاید 6 :
مولفه های اصلی P s
p aces (circ es):
مولفه ها واجزای سیستم مثلا یک Disk Driver یا یک برنامه یا منابع دیگر
tra sitio s (recta g es):
توضیح حوادث و وقایع مثلا خواندن از دیسک
arcs (arrows):
رابطه بین pو t را نشان می دهد مثلا تقاضای خواندن از دیسک
اسلاید 7 :
تعریف 4 تایی P s
C = (P, T, I, O):
P : مجموعه p ace هاي شبکه.
T: مجموعهtra sitio هاي شبکه.
I : مجموعه fu ctio هاي ورودي براي tra sitio هاي شبکه.
O : مجموعه fu ctio هاي خروجي براي tra sitio هاي شبکه
اسلاید 8 :
رفتار P s
P marki g
P executio ru es
اسلاید 9 :
P marki g
با µ یا m نشان داده می شودوتعداد toke های هر p را نشان میدهدودرحالت نمایش برداری، بردار اولیه آن راµ0 (i itia marki g) می نامندو با تغییرحالات شبکه، عوض می شود.
به عنوان مثال P marki g این p برابر 3 است.
اسلاید 10 :
اجرای P s یا Firi g
یک t با حرکت toke های آن از p ورودی به خروجی Fire
می شود.
اجرای P s ها غیر قطعی است و ممکن است از بین چندین t آماده Fire ، هیچ کدام اجرا نشوندو معلوم نیست ازبین چندین p فعال کدام Fire شود.
Firi g بین زمانهای 0 تا ∞ ممکن است رخ دهد.
این خصلت باعث می شود P s ها برای مدل کردن رفتار همروند سیستم های توزیع شده به کار رود.
یک t فعال ممکن است Fire شود.