رضا فتحی - دانشجوی کارشناسی ارشد نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران
محمد عبداللهی ازگمی - استادیار گروه نرم افزار،دانشکده کامپیوتر،دانشگاه علم و صنعت ایران

یکی ازمشکلات بررسی مدلها تولید فضای حالت است به دلیل بزرگ بودن فضای حالت معمولا مشکل انفجار حالت پیش می اید یکی از راه کارهای حل این مشکل استفاده ازنمودار تصمیم دودویی است دراین روش فضای حالت مدل به جای نگهداری مجموعه ای بصورت نمادین نگهداری می شود نگهداری فضای حالت به صورت نمادین ذخیره و پردازش فضای حالت را به ذخیره و پردازش گراف ها کاهش میدهد که از هزینه نگهداری و پردازش مجموعه ها به مراتب کمتر است دراین مقاله الگوریتمی برای تولید فضای حالت نمادین از توصیف سیستمهای تصادفی گسسته رخداد بدست آمده از یک مدل ارایه شده است استفاده از توصیف سیستمهای تصادفی گسسته رخداد که یک توصیف صوری چندگانه است این امکان را میدهد که روشهای صوری سیستمهای تصادفی گسسته رخداد دیگر مثل شبکه های پتری تصادفی یا شبکه های فعالیت تصادفی و غیره را به روش صوری SDES تبدیل و فضای حالت نمادین برای آنها تولید کرد با استفاده ازتولید نمادین فضای حالت با کمک نمودار تصمیم گیری دودویی مرتب کاهش یافته فضای حالت بسیاربزرگتری را می توان تولید کرد درنتیجه با استفاده از این روش می توان مشکل انفجار حالت را تخفیف داد

تولید فضای حالت نمادین،نمودار تصمیم دودویی،انفجار فضای حالت،توصیف SDES،سیستم های تصادفی گسسته رخداد