در این تحقیق با استفاده از زبان فرمال شبکه های پتری، از بخش ها و جنبه های مختلف لایه مجازی سازی در دیتا سنترها، مدل های فرمال متعددی تهیه شده است. سپس به کمک ابزار ریاضی، رفتار این مکانیزم ها برای تعیین سطح خوش رفتاری سیستم بررسی شده است. برای نیل به این هدف، در ابتدا ابزار مدل سازی فرمال اعم از جبری و مبتنی بر مدل بررسی و مقایسه شده است. سپس با تشریح تکنولوژی مجازی سازی در سیستم های کامپیوتری، یک دیتا سنتر نمونه کوچک مطابق استانداردهای دیتا سنترها طراحی شده و سپس در لایه های مختلف توسط شبکه های پتری مدل گردیده است. این مدل سازی از سطح کاملا انتزاعی (لایه 1) برای کل دیتا سنتر شروع و با طراحی مدل برای زیر سیستم ها و مکانیزم هایی مانند ساختار شبکه، ذخیره سازی و نیز سرویس های سطح بالا مانند HA و Fault Tolerance پایان می یابد. در پایان هر بخش، پس از ارائه و تشریح مدل، به تحلیل و ارزیابی آن و بررسی خصوصیات رفتاری سیستم از روی مدل فرمال آن پرداخته شده است. در نهایت، نتیجه گیری از میزان خوش رفتاری بخش های مختلف این لایه در دیتا سنتر ارائه شده است.