شبیه سازی پروتکل Strict 2PL با ابزار شبکه پتری رنگی(CpnTools)

تومان130000

این شبیه سازی در ابزار CpnTools انجام شده است.

فاسل ضمیمه دارای داکیومنت توضیحاتی می باشد.

توضیحات

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

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “شبیه سازی پروتکل Strict 2PL با ابزار شبکه پتری رنگی(CpnTools)”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *