مدل‌سازی و تحلیل صوری سیستم‌های احتمالی