محمد ملکی نیا - عضو هیئت علمی دانشگاه آزاد اسلامی واحد تهران جنوب
وحید علیزاده - دانشجوی دکتری تخصصی مدیریت فنآوری اطلاعات دانشگاه آزاد اسلامی واحد تهران جنوب

در این مقاله با استفاده از زبان فرمال شبکه های پتری، از بخش ها و جنبه های مختلف لایه مجازی سازی در دیتا سنترها، مدل های فرمال متعددی تهیه شده است. سپس به کمک ابزار ریاضی، رفتار این مکانیزم ها برای تعیین سطح خوش رفتاری سیستم بررسی شده است. برای نیل به این هدف، در ابتدا ابزار مدل سازی فرمال اعم از جبری و مبتنی بر مدل بررسی و مقایسه شده است. سپس با تشریح تکنولوژی مجازی سازی در سیستم های کامپیوتری، یک دیتا سنتر نمونه کوچک مطابق استانداردهای دیتا سنترها طراحی شده و سپس در لایه های مختلف توسط شبکه های پتری مدل گردیده است.

زبان شبکه؛ رفتار سیستم، دیتا سنتر.