پاورپوینت درس نهم استفاده از شبکه‌هاي پتري در ارزيابي معماري (pptx) 85 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 85 اسلاید
قسمتی از متن PowerPoint (.pptx) :
استفاده از شبکه‌هاي پتري در ارزيابي معماري
9
2
فهرست مطالب
تاريخچه شبکه پتري
تعريف شبکه پتري
ويژگيهاي شبکه پتري
عناصر شبكه‌هاي پتري
قوانين شبکه پتري
شبكه‌هاي پتري رنگي
زمان در شبکه‌هاي پتري رنگي
ارزيابي رفتار معماري
مدل‌هاي تحليل و ارزيابي معماري
3
تاريخچه شبکه‌هاي پتري (Petri-Net)
1962: تز دكتراي آقاي كارل آدام پتري
1970: تعريف پروژه و بسط تئوري پتري در دانشگاه MIT
1975: اولين کنفرانس پتري‌نت و کاربردهاي آن
در دهه 1980 فعاليت‌هاي تحقيقاتي بسيار خوبي در رابطه با كاربردهاي شبكه‌هاي پتري در اروپا و آمريكا انجام گرفت
در دهه 90، شبكه‌هاي پتري شروع به ظهور در عرصه‌هاي مختلف نموده و با پذيرش عمومي مواجه شدند
4
تعريف شبکه پتري
يک پنج‌تايي مرتب به شکل (P,T,I-,I+,M0) است که:
P يک مجموعه متناهي از مکان‌ها است
T يک مجموعه متناهي از انتقال‌ها است
P ∩ T = φ
P * T ═> N : I+ ، I- به ترتيب توابع تلاقي پيشرو و پسرو (forward and backward incidence functions ) ناميده مي‌شوند
M0:P ═> N0 تابع علامت‌گذاري اوليه ناميده مي‌شود
5
ويژگيهاي شبکه پتري
قادر به توصيف سيستم‌هائي هستند كه در آنها يكسري رخداد گسسته و پراكنده وجود دارند
شبكه‌هاي پتري قادر به نمايش موارد زير هستند:
الگوهاي مخابراتي
الگوهاي كنترلي
جريان‌هاي اطلاعاتي
چارچوب رياضي براي آناليز، تاييد صحت و ارزيابي كارائي فراهم مي‌كنند و مبتني بر نظريه گراف‌ها هستند
بطورخاص روي موضوعات همزماني و فعاليت‌هاي غير همزمان كاربرد دارند
6
مشخصات شبکه‌هاي پتري
قابل اجرا هستند
قادر به توصيف گرافيكي سيستم‌هاي پيچيده هستند
قادر به ثبت « ارتباطات اولويت‌دار» و «تعامل‌هاي ساختاري» بين رويدادهاي موازي و غير همزمان هستند
شامل بسياري از تكنيك‌ها و مدل‌هاي تحليل سيستم‌هاي رويداد گسسته هستند.
7
عناصر شبكه‌هاي پتري
شبكه پتري، يك نوع گراف دو گره‌اي چندگانه هستند
گره‌هاي شبكه‌هاي پتري عبارتند از:
گره دايره‌اي يا مكان
گره ميله‌اي يا انتقال
از كمان‌هاي جهت‌دار تنها براي اتصال مكان‌ها به انتقال‌ها و انتقال‌ها به مكان‌ها استفاده مي‌شود
8
عناصر شبكه‌هاي پتري نت (ادامه)
هر شبكه پتري داراي چهار عنصر مدل‌سازي است
انتقال (Transition)
كمان (Arc)
مكان (Place)
مهره (Token)
9
نمونه‌اي از شبکه پتري: خط توليد
مهره‌ها
همان قطعاتي هستند كه در خطوط مونتاژ حركت مي‌كنند و بايد طبق ترتيب خاصي بر روي هم سوار شوند
كمان‌ها
مسير حركت قطعات را نشان مي‌دهند
انتقال‌ها
ماشين‌هايي هستند كه قطعه يا قطعات را دريافت مي‌كنند و سپس يك قطعه جديد را با استفاده از ورودي دريافت شده، توليد مي‌كنند
مكان‌ها
بخش‌هاي هستند كه قطعات را بصورت موقت نگهداري مي‌كنند