مدلسازی رفتار سیستم:

• برای نمایش رفتار سیستم از مجموعه‌ای از مدل‌ها و ابزارها استفاده می‌شود
• روش مدلسازی تاثیر مستقیمی بر ارزیابی مدل دارد
• هر چه مدل دارای عناصر بیشتری باشد، ارزیابی دشوارتر می‌شود
• در صورتی‌که مدل از پشتوانه ریاضی برخوردار باشد، ارزیابی ساده‌تر خواهد شد

سه روش برای مدلسازی رفتار وجود دارد:

• نمودار حالت (Statechart) و نمودارهای UML
• نمودار انتقال حالت (State Transition Diagram)
• شبکه‌های پتری (Petri Net)

نمودار انتقال حالت:

• در این روش سیستم توسط مجموعه‌ای از حالات نشان داده می‌شود که رویدادهای خارجی سبب حرکت روی حالات می‌شوند
• با توجه به اینکه اغلب سیستم‌ها دارای حالات مختلف هستند، نمودار انتقال حالت بزرگ و پیچیده خواهد شد
• این نمودار دارای دو عنصر حالت و انتقال است

اهداف جلسه:

• مفاهیم شبکه‌های پتری
• کاربردهای شبکه‌های پتری
• آشنایی با عناصر شبکه پتری
• خصوصیات شبکه‌های پتری
• آشنایی با انواع شبکه‌های پتری
• کاربرد شبکه‌های پتری در مهندسی نرم‌افزار