صحت مدل سازی فرایند در Petri net

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