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

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

کلیدواژه ها:

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