مرجع دانلود پاورپوینت های درسی

حجم فایل : 861.8 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 65
بسمه‌تعالي شبکه‌هاي پتري فصل چهاردهم 2 اهداف جلسه مفاهيم شبکه‌هاي پتري
کاربردهاي شبکه‌هاي پتري
آشنايی با عناصر شبکه پتري
خصوصيات شبکه‌هاي پتري
آشنايي با انواع شبکه‌هاي پتري
كاربرد شبكه‌هاي پتري در مهندسي نرم‌افزار 3 مدلسازي رفتار سيستم براي نمايش رفتار سيستم از مجموعه‌اي از مدل‌ها و ابزارها استفاده مي‌شود
روش مدلسازي تاثير مستقيمي بر ارزيابي مدل دارد
هر چه مدل داراي عناصر بيشتري باشد، ارزيابي دشوارتر مي‌شود
در صورتي‌که مدل از پشتوانه رياضي برخوردار باشد، ارزيابي ساده‌تر خواهد شد 4 مدلسازي رفتار سيستم (ادامه) سه روش براي مدلسازي رفتار وجود دارد
نمودار حالت (Statechart) و نمودارهاي UML
نمودار انتقال حالت (State Transition Diagram)
شبکه‌هاي پتري (Petri Net)
5 نمودار انتقال حالت در اين روش سيستم توسط مجموعه‌اي از حالات نشان داده مي‌شود که رويدادهاي خارجي سبب حرکت روي حالات مي‌شوند
با توجه به اينکه اغلب سيستم‌ها داراي حالات مختلف هستند، نمودار انتقال حالت بزرگ و پيچيده خواهد شد
اين نمودار داراي دو عنصر حالت و انتقال است 6 نمودار انتقال حالت (ادامه) مثالي از کامپايل برنامه Events Events Events no events hiccup Running Start resume pause stop stop finished success Compiled
error stop run Executing Pausing Compiling 7 نمودار انتقال حالت (ادامه) مشکلات نمودار انتقال حالت
وقتي تعداد حالات و رويدادها افزايش يابد، پيچيدگي به‌صورت تصاعدي افزايش مي‌يابد
ابهام در نمودار سبب افزايش پيچيدگي و تضعيف ارزيابي مي‌شود
با توجه به عدم وجود پشتوانه رياضي توانايي ارزيابي کامل نمودار وجود ندارد 8 شبکه پتري با وجود نقاط ضعف و مشکلات روش‌هاي مدلسازي رفتار در ارزيابي، استفاده از شبکه‌هاي پتري بسيار مورد توجه قرار گرفته است
شبکه‌ پتري، مبتني بر نظريه گراف بوده و با استفاده از قواعدي منطقي جريان فعاليت‌ها در سيستم را نمايش مي‌دهد
چارچوب رياضي شبكه پتري سبب مي‌شود تا توانايي تحليل، تاييد صحت و ارزيابي مدل‌ها را داشته باشد 9 شبکه پتري (ادامه) شبكه پتري قادر به توصيف سيستم‌هايي است كه شامل مجموعه‌اي از رخدادهاي گسسته و پراكنده هستند، از جمله
همزماني و تعارض
ترتيب‌ها، شاخه‌هاي شرطي و چرخه‌ها
همگام‌سازي (Synchronization)
اشتراک منابع محدود و انحصار متقابل
الگوهاي مخابراتي، کنترلي و جريان‌هاي اطلاعاتي 10 تاريخچه شبکه پتري رساله دكتراي آقاي كارل آدام پتري براي نمايش ارتباط علت و معلول (Cause and Effect) در آلمان در سال 1962
بسط تئوري در دانشگاه MIT در دهه 1970
كنفرانس پتري‌نت و روش‌هاي مرتبط در سال 1975
افزوده شدن زمان قطعي (deterministic time)
افزوده شدن زمان تصادفي (stochastic time)
شبکه پتري رنگي (Colored Petri Net) 11 عناصر شبک...