µ گذاری شبکه پتری ، انتساب نشانه ها (Token) به مکان های شبکه پتری می باشد.<br>بردار µ=(µ1,…, µn)    برای هر مکان در شبکه پتری ، تعداد مهره ها در آن مکان را نشان می دهد. <br>يک انتقال آتش (Fire) می کند اگر توانا (Enable)  شده باشد. انتقال در صورتی توانا می شود که هر مکان ورودی حداقل يک مهره داشته باشد. در ادامه انتقال بوسيله برداشتن يک مهره از هر مکان ورودی آن و سپس قرار دادن يک مهره در هر مکان خروجی آتش می کند.<br><br>*<br>شبکه پتری رنگی ((Color Petri Net<br>....نام فایل : ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی

فرمت : .ppt

تعداد صفحه/اسلاید : 42

حجم : 1 مگابایت

بنام خدا
*
ارزيابی کارائی نرم افزار با بهره گيری از مدلهای رسمی
*
رئوس مطالب
شبکه های پتری

مروری اجمالی بر يک مدل واقعی (Pragmatic Model)

نقش نمودارهای UML در خصوص کارائی

ارزيابی کارائی سيستم با استفاده از شبکه پتری رنگی


*
شبکه های پتری
تعريف رسمی شبکه های پتری : C=(P , T , I , O)

نشانه گذاری شبکه های پتری (Petri net Marking)