یحیی پور سلطانی - کارشناس ارشد علوم کامپیوتر – الگوریتم و نظریه محاسبه، دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ،تهران
محمد حسن شیرعلی شهرضا - استادیار، دانشکده ی ریاضی و علوم کامپیوتر، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران
سید علیرضا هاشمی گلپایگانی - استادیار، گروه مستقل بین رشته ای مهندسی فناوری اطلاعات، دانشگاه صنعتی امیرکبیر (پلی تکنیک تهران) ، تهران

استاندارد BPMN۲.۰ ،یکی از پر کاربرد ترین و محبوب ترین زبان های مدل سازی فرایند های کسب و کار است.این استاندارد در عین داشتن قابلیت فهم بالا دارای ماهیتی غیر صوری است.این ویژگی می تواند کارهایی مثل صحت سنجی فرآیند و یا انجام انواع تحلیل های کمی مثل ارزیابی کارایی آن را با دشواری هایی روبرو کند.در تحقیقات پیشین،روش ها مختلفی به منظور صوری سازی مدل های فرآیندی BPMN۲.۰ ، ارائه شده است،از جمله :نگاشت آن به شبکه های پتری کلاسیک،توصیف جبری ان و یا استفاده از سایر روش های صوری.در این پژوهش ،بر مبنای یک نگاه عام و مستقل از زبان مدل سازی به مدل های فرآیندی و بر مبنای الگوهای جریان کنترلی پایه ای،نگاشتی بین مدل های فرآیندی BPMN۲.۰ ، و یکی از گسترش های شبکه های پتری به نام شبکه های پتری جریان کار ارائه شده است.ین نگاشت نسبت به روش پیشین ،سازگاری بهتری با اجزای مدل های فرآیندی BPMN۲.۰ ، دارد و نسبت به نگاشت به شبکه های پتری کلاسیک،پیچیدگی کم تری داشته و تعداد اجزای مدل مقصد،کمتر است

مدل های فرآیندی ۰.BPMN۲ ، شبکه های پتری، شبکه های پتری جریان کار، مدل های فرآیندی عام، الگوهای جریان کنترلی، نگاشت