صحت مدل سازی فرایند در Petri net - نرم افزار BPMS جریان
در این مقاله قصد داریم صحت مدل سازی فرایند در Petri net را بررسی کنیم. برای بررسی صحت مدل سازی فرایند در Petri net ابتدا باید مدل فرایندی را به Petri net تبدیل کرد و سپس با استفاده Petri net می توان نمودار در دسترس پذیری ایجاد کرد.