پاورپوینت شبکه‌هاي پتري (pptx) 65 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 65 اسلاید
قسمتی از متن PowerPoint (.pptx) :
بسمه‌تعالي
شبکه‌هاي پتري
فصل چهاردهم
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)
اشتراک منابع محدود و انحصار متقابل
الگوهاي مخابراتي، کنترلي و جريان‌هاي اطلاعاتي