مدل سازی و کنترل یک سیستم تولید صنعتی با استفاده از شبکه پتری

هدف از این رساله معرفی شبکه پتری به عنوان ابزاری برای مدل سازی و کنترل سیستم های تولید اتوماتیک است. این ابزار در سال های اخیر از اهمیت خاصی برخوردار شده است، زیرا قادر به حل مسایلی است که پیش از آن بدون شبیه سازی قابل حل نبوده اند. در این رساله ابتدا شبکه پتری را از دیدگاه مدل سازی بررسی می کنیم. نشان می دهیم که مبنای ریاضی قدرتمندی برای توصیف آن وجود دارد، که این امر امکان تحلیل کمی خواصی مثل بن بست، درگیری و کراندار بودن را فراهم می کند. همچنین خواهیم دید که مدل پتری می تواند به عنوان مبنایی برای کنترل کننده زمان حقیقی سیستم تولید به کار رود. جریان نشان ها در شبکه، توالی وقایعی را که برای انجام یک عمل خاص مثل ساخت یک قطعه باید انجام شود، بیان می کند. با استفاده از دو مثال عملی نشان خواهیم داد که از مدل پتری سیستم می توان در تولید کد ‏‎plc‎‏ به صورت خودکار استفاده کرد. از این جهت شبکه پتری دارای مزایایی نسبت به روش های قبلی است، که به تفصیل در این باره بحث خواهیم کرد. همچنین نشان می دهیم که از روش مدل پتری سیستم صحت / عدم صحت توالی کنترل قابل تعیین است.