• فصل 1 مقدمات (11)
  • 1-1 وارسی مدل (12)
  • 1-2 مدل‌ها (12)
  • 1-3 سیستم‌های زمانی (14)
  • 1-4 ساختار پایان‌نامه (15)
• فصل 2 پیش‌زمینه‌ها (16)
  • 2-1 خودکاره‌ی زمانی (17)
  • 2-2 سیستم گذار زمانی (19)
  • 2-3 شبکه‌ی پتری (21)
  • 2-4 منطق‌های زمانی (23)
    • 2-4-1 منطق‌های زمانی درختی (23)
    • 2-4-2 منطق‌های زمانی روی مسیر (25)
  • 2-5 ابزارهای وارسی مدل خودکاره‌ی زمانی (27)
• فصل 3 کارهای پیشین (31)
  • 3-1 مقدمه (32)
  • 3-2 گسترش شبکه‌ی پتری با زمان (32)
  • 3-3 جی‌تی‌پی‌ان (35)
  • 3-4 شبکه‌ی فعالیت (37)
  • 3-5 ابزارهای وارسی مدل گسترش‌های زمانی شبکه‌ی پتری (37)
• فصل 4 مدل شبکه‌ی فعالیت زمانی (39)
  • 4-1 تعریف شبکه‌ی فعالیت زمانی (40)
  • 4-2 معنای شبکه‌ی فعالیت زمانی (45)
  • 4-3 فضای حالت شبکه‌ی فعالیت زمانی (47)
  • 4-4 منطق مورد استفاده برای شبکه‌ی فعالیت زمانی (49)
  • 4-5 مقایسه‌ی مدل شبکه‌ی فعالیت زمانی با دیگر مدل‌ها (51)
    • 4-5-1 مقایسه با خودکاره‌ی زمانی (51)
    • 4-5-2 مقایسه با خانواده‌ی پتری گسترش‌یافته با زمان (51)
    • 4-5-3 مقایسه با دیگر تعریف شبکه‌ی فعالیت زمانی (53)
• فصل 5 روش وارسی مدل و ابزار پیاده‌سازی‌شده (54)
  • 5-1 روش وارسی مدل شبکه‌ی فعالیت زمانی (55)
  • 5-2 معرفی ابزار (64)
  • 5-3 معماری ابزار (66)
  • 5-4 یک نمونه از ورودی و خروجی ابزار (68)
  • 5-5 نمونه‌ای برای بررسی فضای حالت (72)
• فصل 6 مقایسه و ارزیابی (76)
  • 6-1 مقدمه (77)
  • 6-2 بررسی شرایط وارسی مدل (77)
  • 6-3 بررسی ابزار (79)
  • 6-4 مطالعه موردی (81)
    • 6-4-1 مساله‌ی گذر قطار (81)
    • 6-4-2 زمان‌بندی یک سیستم محاسباتی توزیع شده (88)
• فصل 7 جمع‌بندی و کارهای آینده (96)
  • 7-1 جمع‌بندی (97)
  • 7-2 کارهای آینده (97)
• مراجع (100)
• واژه‌نامه (104)