صحت مدل سازی فرایند در Petri net - نرم افزار BPMS جریان
سپس باید بررسی شود که برای هر انتقال در Petri net یک انتقال حالت در نمودار در دسترس پذیری در یک نمونه فرایند درست شرکت می کند، بنابراین می توان گفت که Petri net درست می باشد زیرا ویژگی های 1، 2 و 3 تحقق پیدا کرده اند و از آن می توان ...