در این پایان نامه، تعریفی برای سیستم تبدیل گراف ارائه شده و روش را بر اساس این تعریف تشریح می کند. و مفهوم زمان را به این شکل در سیستم تبدیل گراف دخالت می دهد: از آنجاییکه قوانین نشان دهنده انجام کار هستند، برای قوانین زمان مصرفی در نظر گرفته شده است. همچنین برای گراف میزبان یک بازه ی زمانی معتبر تعریف می کند که با تبدیل قوانین این بازه تغییر می کند. این سیستم تبدیل گراف زمان دار توسط ابزار به ماشین خودکار زمان تبدیل می شود
فندروسی، مجید
رافع، وحید، استاد راهنما
رحمانی، محسن، استاد مشاور
ایران
دانشگاه اراک
۱۳۹۱ /۹ف۲الف و/۸ مکامپیوتر گنرمافزار
محل نگهداری: بخش مرجع کتابخانه دانشکده فنی و مهندسی دانشگاه اراک