|
چکیده
|
تولید سیستم و مهندسی آن شامل بخشهای گوناگونی نظیر مهندسی نیازمندیها، طراحی و بیان مشخصات، پیاده سازی، آزمون و نصب می باشد، که بسیاری از آنها درگیر با مشکلات همزمانی در سیستمها می باشند. بسیاری از این مسایل را می توان در پروژه های کوچک و بزرگ و در مقیاسهای گوناگون از سیستمهای نهفته گرفته تا پروژه های بزرگ ارتباطی و مبتنی بر اینترنت رویت نمود. بخش عمده ای از این مشکلات و پیچیدگی ها بعلت خصوصیات همزمانی و طبیعت غیرقطعی سامانه های همروند می باشد، که اجرای آنها می تواند از مسیرهای گوناگونی صورت پذیرد. بعنوان نمونه در یک شبکه ارتباطی برحسب اینکه آیا بسته های ارسالی گم شده باشند یا خیر قرارداد بکار رفته زمانبندی پردازشها و چگونگی دریافت ورودی ها را تغییر می دهد و لذا پیچیدگی ها افزایش می یابد. اگرچه انسانها می توانند با حذف بسیاری از خصوصیات مدل به کاهش پیچیدگی ها کمک نمایند اما این امر در سیستمهای مهم و حساسی مانند نیروگاههای اتمی، سیستمهای کنترل هواپیما و تجهیزات حیاتی بیمارستان قابل اعمال نیست. لذا نیاز است که مدل کاملی از سیستم توسط ابزارهای مدلسازی چون شبکه های پتری رنگ شده ایجاد گردد. شبکه های پتری رنگ شده (Coloured Petri Nets-CPN) زبانی گرافیکی جهت ایجاد مدل سیستمهای همروند و تحلیل خصوصیات آنها می باشد. این زبان ترکیبی از خصوصیات شبکه های پتری و قابلیتهای زبان برنامه نویسی سطح بالایی چون CPN ML را ارائه می دهد تا امکان ایجاد مدل گرافیکی از اجزای سیستم همروند بهمراه انواع داده ای مورد نیاز و توصیف خصوصیات سیستم فراهم گردد. استفاده های رایج شبکه های پتری رنگ شده در قراردادهای ارتباطی، شبکه های داده ای، الگوریتمهای توزیع شده و سیستمهای نهفته اهمیت بکارگیری آنها را هر روز بیشتر نموده است. در این ارائه شبکه های پتری رنگ شده معرفی گردیده و کاربردهایی عملی از آنها بیان خواهد گردید.
|