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

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

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