آموزش شبکه های پتری – مدل سازی ریاضی فرایندها و سیستم ها با Petri Net
2 ساعت
4.0
با گسترش روزافزون فناوری، سيستم‌ها (اعم از سیستم‌های صنعتی و غیرصنعتی) رشد زيادی كرده و پيچيده‌تر شده‌اند. اين پيچيدگی‌ها، می‌تواند ابعاد مختلفی از اين سيستم‌ها را در بر گيرد. از جمله فرایندهای موجود در آن‌ها، محصولات توليد شده در حین فرایندهای آن و یا محصولات تولید شده در پايان فرايندهای آن‌ها، ارتباطات موجود در بین اجزای آن‌ها و نیز مدیریت منابع به كار رفته در آن‌ها است. اين امر، چالش‌هایی نظیر همگام‌سازی را برای ایجادكنندگان و يا توسعه‌دهندگان فرايندها به وجود آورده است. اگرچه بسياری از اين زبان‌های مدل‌سازی، به درک انسان‌ها نزدیک است، اما از نظر مفهومی و نحوی، دارای ابهام هستند و در بسياری از موارد، نمی‌توان آن‌ها را به درستی توصيف کرد. برای رفع اين مشكل، لازم است كه توصيف‌هایی صوری و رسمی از اين فرايندها داشته، تا با مدل‌سازی رياضی آن‌ها بتوانیم ارزیابی بهتری را از ساختار و رفتار آن‌ها داشته باشیم. شبكه‌های پتری (پتری‌نت‌ها) ابزارهایی برای مدل‌سازی ریاضی فرايندها و سيستم‌ها هستند كه می‌توانند مسائلی همچون هم‌روندی، اشتراک منابع، همگام‌سازی و… را مدل‌سازی كنند. اين امر باعث شده است تا پتری‌نت‌ها (Petri Net)، تبديل به ابزارهایی محبوب برای مدل‌سازی صوری سيستم‌ها و فرايندها شوند. با توجه به اين كه تحليل صوری سیستم‌ها و فرايندها، در رشته‌های مختلفی همچون مهندسی برق (كنترل)، مهندسی فناوری اطلاعات (IT)، مهندسی صنایع، علوم كامپيوتر، مهندسی نرم‌افزار و… كاربرد زيادی دارد، يادگیری شبكه‌های پتری به منظور صوری‌سازی رفتار سيستم‌ها و فرايندها، می‌تواند در تحليل اين سيستم‌ها و فرايندها، از جمله فرايندهای سازمانی، بسيار کمک‌كننده و راهگشا باشد.
