بخشی از پاورپوینت
--- پاورپوینت شامل تصاویر میباشد ----
اسلاید 1 :
اهداف جلسه
مفاهيمشبکه‌هاي پتري
کاربردهاي شبکه‌هاي پتري
آشنايی با عناصر شبکه پتري
خصوصيات شبکه‌هاي پتري
آشنايي با انواع شبکه‌هاي پتري
كاربرد شبكه‌هاي پتري در مهندسي نرم‌افزار
اسلاید 2 :
مدلسازي رفتار سيستم
براي نمايش رفتار سيستم از مجموعه‌اي از مدل‌ها و ابزارها استفاده مي‌شود
روش مدلسازي تاثير مستقيمي بر ارزيابي مدل دارد
هر چه مدل داراي عناصر بيشتري باشد، ارزيابي دشوارتر مي‌شود
در صورتي‌که مدل از پشتوانه رياضي برخوردار باشد، ارزيابي ساده‌تر خواهد شد
اسلاید 3 :
مدلسازي رفتار سيستم (ادامه)
سه روش براي مدلسازي رفتار وجود دارد
نمودار حالت (Statechart) و نمودارهاي UML
نمودار انتقال حالت (State Tra sitio Diagram)
شبکه‌هاي پتري (Petri et)
اسلاید 4 :
نمودار انتقال حالت
در اين روش سيستم توسط مجموعه‌اي ازحالات نشان داده مي‌شود که رويدادهاي خارجي سبب حرکت روي حالات مي‌شوند
با توجه به اينکه اغلب سيستم‌ها داراي حالات مختلف هستند، نمودار انتقال حالت بزرگ و پيچيده خواهد شد
اين نمودار داراي دو عنصر حالت و انتقال است
اسلاید 5 :
مثالي از کامپايل برنامه
اسلاید 6 :
مشکلات نمودار انتقال حالت
وقتي تعداد حالات و رويدادها افزايش يابد، پيچيدگي به‌صورت تصاعدي افزايش مي‌يابد
ابهام در نمودار سبب افزايش پيچيدگي و تضعيف ارزيابي مي‌شود
با توجه به عدم وجود پشتوانه رياضي توانايي ارزيابيکامل نمودار وجود ندارد
اسلاید 7 :
شبکه پتري
با وجود نقاط ضعف و مشکلات روش‌هاي مدلسازي رفتار در ارزيابي، استفاده از شبکه‌هاي پتري بسيار مورد توجه قرار گرفته است
شبکه پتري، مبتني بر نظريه گراف بوده و با استفاده از قواعدي منطقي جريان فعاليت‌ها در سيستم را نمايش مي‌دهد
چارچوب رياضيشبكه پتري سبب مي‌شود تا تواناييتحليل، تاييدصحت و ارزيابي مدل‌ها را داشته باشد
اسلاید 8 :
شبکه پتري (ادامه)
شبكهپتري قادر به توصيف سيستم‌هايي است كه شامل مجموعه‌اي از رخدادهاي گسسته و پراكندههستند، از جمله
همزماني و تعارض
ترتيب‌ها، شاخه‌هاي شرطي و چرخه‌ها
همگام‌سازي (Sy chro izatio )
اشتراک منابع محدود و انحصار متقابل
الگوهاي مخابراتي، کنترلي و جريان‌هاي اطلاعاتي
اسلاید 9 :
تاريخچه شبکه پتري
رساله دكتراي آقاي كارل آدام پتري براي نمايش ارتباط علت و معلول (Cause a d Effect) در آلمان در سال 1962
بسط تئوري در دانشگاه MIT در دهه 1970
كنفرانس پتري‌نت و روش‌هاي مرتبط در سال 1975
افزوده شدن زمان قطعي (determi istic time)
افزوده شدن زمان تصادفي (stochastic time)
شبکه پتري رنگي (Colored Petri et)
اسلاید 10 :
عناصر شبکه پتري
هر مدل شبكه پتري با استفاده از سه عنصر مدل مي‌شود
مكان (Place): حالت سيستم را نشان مي‌دهند
انتقال (Tra sitio ): رويدادهايي را که سبب تغيير حالت سيستم مي‌شوند را نشان مي‌دهند
كمان (Arc): ارتباط بين حالات را نشان مي‌دهند
در هنگام نمايش اجراي شبکه پتري از نشانه (Toke ) براي بيان وضعيت فعلي شبکه پتري استفاده مي‌شود
نشانه‌ها در مکان‌ها قرار مي‌گيرند
