طراحی رؤيتگر، کنترل کننده برای سيستم های رويداد گسسته با استفاده از پتری نت

صفحه 1:


صفحه 2:
طراحي رؤيتكر /كنترل كننده بر اي 0 رويداد كسسته با استفاده" ۲ پتري نت ‎a mci‏ Arete ace) Peer) | ۱۳۸۲ ‏پاییز‎ 

صفحه 3:
0 See ‏ا‎ 1 مقدمه (تعاریف و مدل رياضي) 1 3 ويزگي رژیت پذيري cree nae 5 نتیجه گيري 

صفحه 4:
فصل اول: مقدمه ۳ 0 ‏ل الل‎ RSet re ae * روش تشريح شده 

صفحه 5:
‎SOOC RES)‏ م ‎he ۳ 5 roe‏ شا ۲ عدد ‎eee‏ ‎Post: PxT 4 N 945 Pre:PxTON‏ ‎ ‎aN a eed Ce el ۱ 

صفحه 6:


صفحه 7:
0 

صفحه 8:
ماتریس تلاقی شبکه: = ‎C(p,t)‏ آتش شدن یک انتقال: فعال بودن يك انتقال: ‎M > Pre(-,t)‏ دنباله انتقالات( کلمه): 

صفحه 9:
یک شبکه با شرط اولیه: اد ۱ (۱۸,]۲۷ 5 - ( ,7,۲,۲ ‎ey es bere orale‏ \ ۱ (و را ۳ ‎R(N,M,)=‏ 

صفحه 10:
مفاهیم اولیه در کنتررل حلقه بسته: ۴ فیدبک رویداد * فیدبک حالت و دانستن و * فیدیگ حالت با خی حالت 

صفحه 11:
control legal words word of events (a) 

صفحه 12:
contro] 1 legal states state (b) 

صفحه 13:


صفحه 14:


صفحه 15:
روش تشریح شده: Rowe eC Cowan) ea ia Rev ‏ل‎ * الگوریتمی ارائه می شود که یک روینگ تشکیل ا ل ‎eee ee rene‏ 1 ل ‎ee‏ 2 5 شود. 

صفحه 16:
فصل دوم مشاهده رود یدادها 

صفحه 17:
فرضیات: * ساختار شبکه معلوم است ولي 0:۸۷( ‎rene‏ امسر جمع ‎wae‏ اوليه برخي زیرمجموعه (macromarking) “نش شدن انتقالات قابل مشاهده هی 

صفحه 18:
*؟ مجموعه 79 هاى سازكار با ثنابا شرط ‎.M,[w)M [‏ اع ,كلد | ۳ ۸ -( ۸۸۲۷۲ ‎ 

صفحه 19:
| M(p,)+ M(p,)+ M(p;) =3 

صفحه 20:


صفحه 21:
ي کنیم ابتدا ۱ آتش ۰ 0 ی 2 تحمين قبلي جون 1 0۳ بوده: Hy =[0 0 I 1 

صفحه 22:


صفحه 23:


صفحه 24:
Hy (Pp) = man yy (p), Pre(p sta, | By = By (hy, ~ Hy. ) 

صفحه 25:
> ‏رام‎ <M Hw, = #w,,, 19 1 e,(M ‏لاه و‎ (< 4 Ww, Min ) 

صفحه 26:
فصل سوم ويركي رويت پدیری 

صفحه 27:
خواص رویت پذيري: ۰ کلمه کاما. ۰ ۳۳1۳2۳۳2 * وجود حداقل یک کلمه کامل ‎cee Rel C es‏ | ‎Greeny DO (GMO)‏ ‎Seg ie geass eo es ae‏ ‎psy‏ 

صفحه 28:
فصل جهارم 25000 TR) 

صفحه 29:
فرضیات: * هدف کنترل: حفظ شرطهاي به صورت محدوديت روى_تعداد توكنها. * کنترل پذبري: مي توان به وسیله کنترل کننده هر انتقال جلوكيري كرد. * ورودي كنترل: }0,1 ‎y:T>‏ ‎I‏ 002005 - ارا 

صفحه 30:
خلاصه الگوریتم کنترل: از آتش شدن انتقال | جلوگیری مي شود اک وجوت 

صفحه 31:


صفحه 32:
در اين ۳ موارد زیر ارائه ۳۹۹۹۳ ۳ * روش طراحي رژیتگر حالت از مشاهده رویدادها بدون دانستن حالت اولیه Foe et enc es ‏حالت‎ 

صفحه 33:
و 

صفحه 34:
00/100 

صفحه 35:
۰ 2 بت ‎rd‏ ‏گراف دسترس پذيري ریت گر 

صفحه 36: