ارائه مدل سلسله مراتبی مبتنی بر سناریو با استفاده از شبکه پتری رنگی

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

کلیدواژه ها:

طراحی سیستم سناریو ، مدل سازی ، سیستم کنترل قطار ، شبکه های پتری رنگی .