دانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع

\n

  شبکه‌هاي پتري

\n

عنوان های پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع  ، شبکه‌هاي پتري عبارتند از :

\n

\nآشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع

\n

اهداف جلسه

\n

مدلسازي رفتار سيستم\nنمودار انتقال حالت

\n

دانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع

\n

شبکه پتري\nتاريخچه شبکه پتري\nعناصر شبکه پتري

\n

شبکه‌هاي پتري

\n

تعريف شبکه پتري\nنكات ضمني تعريف\nنمونه ساختارهاي شبکه پتري

\n

دانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع

\n

نمونه مدلسازي رفتار با شبکه پتري\nخصوصيات رفتاري شبكه‌هاي پتري\nزيرنوع‌هاي شبكه پتري\nشبکه‌هاي پتري رنگي\nنمونه شبکه پتري رنگي\nزمان در شبکه پتري\nكاربرد شبكه پتري در مهندسي نرم‌افزار\nتبديل نمودار موارد كاربري\nتبديل نمودار ترتيبي

\n

دانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع

\n

تبديل نمودار مولفه\nمثال ATM

\n

شبکه‌هاي پتري

\n

كاربرد شبكه پتري در مدلسازي فرآيند

\n\n

---

\n\n

تکه ها و قسمت های اتفاقی از فایل آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع  ، شبکه‌هاي پتري\n

\nخصوصيات رفتاري شبكه‌هاي پتري\nخصوصياتي كه به حالت اوليه بستگي دارند\nReachability\nآيا همه حالت‌ها اجرا مي‌شوند؟\nحالت Mn قابل‌دستيابي از حالت M0 است، اگر ترتيبي از شليك‌هايي وجود داشته باشد كه از M0 شروع شده و به Mn برسد\nوجود حالت‌هاي غيرقابل دستيابي نشان مي‌دهد كه قسمت‌هايي از مسئله به‌درستي درك و مدلسازي نشده است\nخصوصيات رفتاري شبكه‌هاي پتري (ادامه)\nBoundedness and Safeness\n\nشبکه‌هاي پتري\n\nدر صورتيكه تعداد نشانه‌ها در هر مكان قابل دستيابي از حالت اوليه، از تعداد خاصي كمتر باشد به آن شبكه كران‌دار گويند\nدر صورتيكه تعداد نشانه‌ها K باشد به آن شبكه k-bounded گويند\nشبكه 1-bounded را شبكه مطمئن (Safe) گويند\n\nدانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع\n\nدر صورتيكه شبكه مطمئن مي‌باشد مي‌توان اطمينان حاصل كرد كه با هر ترتيبي از شليك‌ها، سر ريز در ثبّات‌ها و بافرها به‌وجود نمي‌آيد\nخصوصيات رفتاري شبكه‌هاي پتري (ادامه)\nLiveness\nدر صورتي شبكه پتري زنده (Live) است كه بتوان هر حالت را با ترتيبي از شليك‌هاي مناسب فعال نمود\nزنده‌بودن شبكه پتري معادل بدون بن‌بست بودن است\nشبكه‌هاي پتري داراي سطوح مختلف زنده‌بودن هستند (L0 = مرده، L1، L2، L3، L4 = زنده)\nخصوصيات رفتاري شبكه‌هاي پتري (ادامه)\nReversibility\nيك شبكه پتري معكوس‌پذير است اگر براي هر حالت Mn كه از M0 قابل دستيابي است، M0 نيز از Mn قابل دسترسي باشد\nدر صورتي Ḿ حالت خانه (Home State) است اگر براي هر حالت M قابل دستيابي از M0، Ḿ از M قابل دستيابي باشد\nPersistence\nيك شبكه پتري ماندگار است اگر در هر انتقال دوتايي، شليك شدن يكي سبب غيرفعال شدن ديگري نشود\nخصوصيات رفتاري شبكه‌هاي پتري (ادامه)\nFairness\n\nدانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع\n\nآيا چرخه بي‌نهايت در شبكه وجود دارد؟\nهر انتقال سرانجام شليك مي‌شود و انتقالي وجود ندارد كه شليك نشود\nBounded-Fairness: اگر تعداد دفعاتي كه يك انتقال مي‌تواند شليك شود در حاليكه انتقال ديگر شليك نشده باشد، محدود باشد\nUnbounded-Fairness: اگر تعداد دفعاتي كه يك انتقال مي‌تواند شليك شود در حاليكه انتقال ديگر شليك نشده باشد، نامحدود باشد\nزيرنوع‌هاي شبكه پتري\nOrdinary PNs\nState machine\nMarked graph\nFree-choice\nExtended free-choice\nAsymmetric choice (or simple)\n\nدانلود پاورپوینت آشنایی با شبکه‌های پتری و بررسی و عناصر و خصوصیات و انواع\n\nشبکه‌هاي پتري رنگي\nاين نوع شبكه‌ها امكان مدل‌سازي دقيقتر و جزئي‌تري را از فرآيندهاي غيرهمزمانِ پيچيده مي‌دهند\nنشانه‌ها مي‌توانند با هم متفاوت باشند، بطوريكه به هر نشانه خصوصيتي بنام رنگ اضافه مي‌شود\nكمان‌ها مي‌توانند شامل عبارات رياضي باشند كه از تركيب مجموعه‌هاي رنگ و متغيرهاي مربوط به آنها تشكيل مي‌شوند\nشبکه‌هاي پتري رنگي (ادامه)\nگارد (Guard)، يک عبارت بولي است که به يک انتقال منتسب مي‌شود و شرايطي براي فعال‌شدن کمان ورودي ايجاد مي‌نمايد\nدر شبکه پتري رنگي هر يک از مکان‌ها، کمان‌ها و انتقالات مي‌توانند بسته به رنگي که دارند، داراي گارد مخصوص به خود باشند\nزمان در شبکه پتري\nمي‌توان به هر نشانه، مقداري زماني منتسب کرد، که به اين مقدار زماني زمانمهر (Timestamp) گفته مي‌شود\nزمانمهر بيانگر اولين زماني است که پس از برآورده شدن ورودي‌ها، نشانه مي‌تواند شليک شود\nوقتي انتقال در حالت آماده است که زمان نشانه‌هاي مکان‌هاي ورودي انتقال کوچکتر و يا مساوي با زمان فعلي باشند و وقتي اين زمان بيشتر باشد، شليک انجام مي‌شود\n\nشبکه‌هاي پتري\n\nزمان در شبکه پتري (ادامه)\nشبکه‌هاي پتري تصادفي (stochastic) گونه خاصي از شبکه‌هاي پتري زماني هستند که زمان آنها يک متغير تصادفي است\nنسخه‌هاي متفاوتي از شبکه‌هاي پتري تصادفي وجود دارند که براي مدلسازي در تئوري‌ صف‌ها (Queue Theory) مورد استفاده قرار مي‌گيرند\nكاربرد شبكه پتري در مهندسي نرم‌افزار\nكاربرد شبكه پتري ... (ادامه)\nيافته‌هاي پژوهش‌هايي كه در زمينه تبديل نمودارهاي UML به شبكه پتري صورت گرفته است\nبراي ارزيابي كارايي و قابليت اطمينان، اطلاعات اضافي به توصيفات معماري اضافه مي‌شود\nروش‌هاي كمي نتايج را به توصيفات معماري بازخورد مي‌دهند\nبيشتر روش‌ها از سطح خودكارسازي بالايي برخوردار هستند\nبيشتر روش‌ها اجتماع مدل نرم‌افزار با مدل شبكه پتري را در سطح متوسط انجام مي‌دهند\nتبديل نمودار موارد كاربري\nتبديل هر يك از موارد كاربري و عامل‌ها\nهر كاربر و مورد كاربري به يك مكان نگاشت مي‌شوند\nورودي هر مكان، انتقالي با يك گارد است\n\nشبکه‌هاي پتري\n\nگارد شرط مربوط به صدا زدن مورد كاربري توسط كاربر را نشان مي‌دهد\nيك انتقال براي برگشت نيز وجود دارد\nمكان مربوط به هر مورد كاربري با شبكه پتري حاصل از نمودار ترتيبي آن جايگزين مي‌شود\nاين مكان‌ها با دايره توپر نشان داده مي‌شوند، تا از ساير مكان‌ها مجزا شوند\nتبديل نمودار ترتيبي\nبه‌ازاي هر پيام موجود در نمودار ترتيبي، مولفه‌هاي فرستنده و گيرنده آن به يك زيرسيستم شبكه پتري تبديل مي‌شوند\nتبديل پيام‌هاي ناهمگام\nتبديل پيام‌هاي همگام\nشبكه‌هاي پتري حاصل، مطابق با ترتيب و ارتباط بين پيام‌ها ادغام مي‌شوند\nدر نهايت براي شبكه پتري حاصل، نشانه‌گذاري اوليه انجام شود\nتبديل نمودار مولفه\nهر يك از مولفه‌ها به‌صورت مجزا به شبكه پتري تبديل مي‌شوند\nشبكه‌هاي پتري حاصل مطابق با نوع ارتباط بين مولفه‌ها با هم تركيب مي‌شوند\nرفتار هر مولفه با عبارت مسير (Path expression) نشان داده مي‌شود\nترتيب ميان عمليات يك مولفه\nفرض بر اين است كه كليه عمليات انجام شده بوسيله هر مولفه، ترتيب فراخواني آنها و دفعات اجرا و انتخاب اين عمليات مشخص است\nدر نهايت براي شبكه پتري حاصل، نشانه‌گذاري اوليه انجام شود\n\n30 تا 70 درصد پروژه | پاورپوینت | سمینار | طرح های کارآفرینی و  توجیهی |  پایان-نامه |  پی دی اف  مقاله ( کتاب ) | نقشه | پلان طراحی |  های آماده به صورت رایگان میباشد ( word | pdf | docx | doc | )