مقاله شماره 1: مدلسازی و ارزیابی تحمل پذیری خطا و قابلیت اطمینان در محیط ابری با استفاده از شبکه های پتری رنگی