قیودایمنی

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

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