• دیباچه (8)
  • اهداف انجام پایان‌نامه (10)
  • ساختار پایان‌نامه (10)
• مروری بر روش‌های مدلسازی و شبکه‌های موردی متحرک (13)
  • روش‌های مدلسازی کیفی (13)
    • جبرهای پردازه ارائه شده برای شبکه‌های موردی متحرک (14)
  • روش‌های مدلسازی کمّی (16)
    • شبکه‌های صف (16)
    • شبکه‌های پتری تصادفی (18)
    • جبرهای پردازه (19)
  • ارائه یک انتزاع از شبکه‌های موردی متحرک (23)
    • مدلسازی لایه‌های شبکه (23)
    • مدلسازی حرکت‌پذیری (24)
  • خلاصه فصل (26)
• مقدّمات جبر پردازه (27)
  • مفاهیم پایه (27)
    • مفاهیم پایه جبرهای پردازه (27)
    • مفاهیم پایه احتمال (33)
  • نظریه پردازه‌ی همه‌پخشی محدود شده (35)
  • معناشناسی‌ها و برابری‌ها (37)
  • درستی‌یابی (40)
  • خلاصه فصل (40)
• جبر پردازه تصادفی پیشنهادی (41)
  • داده نوع (42)
  • ساختار نحوی (43)
  • معناشناسی (45)
  • هم‌ارزی در فضای معناشناسی (55)
  • مدل زنجیره مارکوفی پیوسته (58)
  • خلاصه فصل (59)
• ابزار مدلسازی و تحلیل (60)
  • مبدل جبر پردازه تصادفی (60)
    • ابزار پریزم (62)
    • تبدیل از زبان جبر پردازه تصادفی به زبان پریزم (65)
  • مطالعه موردی (67)
    • تعریف مسئله (67)
    • پیاده‌سازی مدل (68)
    • تحلیل مدل و نتایج (71)
  • خلاصه فصل (74)
• نتایج و کارهای آینده (75)
• اثبات برابری بودن همسانی دوسویه مارکوفی ضعیف (83)
• اثبات برابری بودن همسانی دوسویه مارکوفی شبکه (87)