سیستم های صنعتی مدرن، در طول عملکرد خود دارای تنوعی از مشکلات هستند که برای مقابله با آنها نیاز به تکنیک ها و روشهای قاعده مند مشخص و مستقل می باشد. رشد سریع تکنولوژی در چند دهه اخیر باعث ایجاد سیستم های دینامیکی جدیدی شده است. یکی از انواع جدیدی سیستم ها، سیستم های گسسته پیشامد هستند. در این پایان نامه سعی شده است تا با مرور این سیستم ها، به بررسی تأثیر وقوع خطا در عملکرد آنها بپردازیم. برعکس روشهای پیشین که معمولاً برمبنای تغییر ضوابط تعریف شده می باشند، در این تحقیق روشی بر مبنای مدل معرفی شده است که ایمنی سیستم را به طور کامل تضمین می کند. پس از اطمینان از ایمنی سیستم، تلاش می شود تا ناظری طراحی شود که بتواند سیستم را حتی پس از وقوع خطا کنترل کند، هرچند در بسیاری مواقع ادامه کار سیستم کمی کندتر و با کمی نقصان همراه خواهد بود.

چکیده در این پایان نامه با ارائه دو روش کلی در پی پیش بینی زمان انتظار در سیستم های صف انسانی با درصد خطای پایین تر به نسبت روش های ارائه شده در قبل هستیم. هر کدام از این دو روش به دو مدل مجزا تقسیم می شود که می تواند با توجه به شرایط هر سیستم، مورد استفاده قرار بگیرد. روش اول بر پایه میانگین حجم کالای درخواستی مشتریان و روش دوم براساس اطلاعات بدست آمده از گذشته می باشد؛ در ادامه روش دوم با ارائه یک روش تکمیلی توانستیم با استفاده از قوانین فازی رفتار سیستم را در هنگام وقوع اتفاقات غیر قابل پیش بینی، مدیریت نماییم. در تمامی این روش های ارائه شده از یک مکانیزم اولویت دهی جدید برای نوبت دهی به مشتریان استفاده نموده ایم. این مکانیزم نیز دارای دو رابطه اصلی می باشد که در شرایط مختلف مورد استفاده قرار می گیرند.

کاهش ولتاژ شکست یکی از مهمترین اشکالات افزارهایی است که در تکنولوژی soi ساخته می شوند. روش های متعددی برای افزایش ولتاژ شکست افزاره های soi پیشنهاد شده است. کاهش میدان سطحی، فوق پیوند و ایجاد پیک های اضافی از کاربردی ترین روش های افزایش ولتاژ شکست می باشند. برای افزایش ولتاژ شکست ترانزیستورهای ماسفت، یک ساختار جدید با دو پنجره در اکسید مدفون شده پیشنهاد شده است. در این ساختار از روش ایجاد پیک های اضافی و کاهش میدان سطحی برای افزایش ولتاژ شکست استفاده شده است. یکی از مهمترین پارامترها برای تعیین ولتاژ شکست افزاره های soi جنس ماده عایق می باشد. شبیه سازی های انجام شده نشان می دهد هر چه ضریب دی الکتریک عایق مدفون شده بیشتر باشد ولتاژ شکست کاهش بیشتری پیدا می نماید. تغییر مکانیزم شکست، روش پیشنهادی برای افزایش ولتاژ شکست در ترانزیستورهای مسفت می باشد. در این روش با استفاده از یک لایه اکسید مدفون شده، شکست گیت به شکست کانال تبدیل شده است.

یکی از کارهایی که رباتهای منیپولاتور بطور مکرر انجام می دهند، حرکت بین نقاط مشخص شده در فضای کاری می باشد. طراحی حرکت بهینه یکی از مهمترین کاربردها برای رباتهای منیپولاتور میباشد. هدف اصلی آن تولید یک مسیر مطلب میباشد، چنانکه مسیر پیموده شدهو یا زمان طی مسیر با کمترین انرژی مصرفی حداقل گردد. هدف این پایان نامه، تعیین مسیر بهینه برای منیپولاتورهای با مفصل انعطاف پذیر در حرکت نقطه به نقطه میباشد.با استفاده از روش اویلر-لاگرانژ معادلات دینامیکی استخراج می شود. سپس مسئله طراحی مسیر بهینه را به فرم یک مسئله کنترل بهینه تعریف نموده و با روش حل غیر مستقیم آن را حل خواهیم نمود. در این روش با استفاده از اصل مینیمم پونتریاگن شرایط بهینگی بدست می آید که منجر به فرم استاندارد یک مسئله مقدار مرزی دو نقطه ای میشود. این مسئله با برنامه matlab قابل حل خواهد بود. مسیر بهینه و ورودی های کنترلی بدست آمده از این روش می توانند همانند سیگنال مرجع در ساختار کنترلی منیپولاتور مورد استفاده قرار گیرند. در شبیه سازی کنترل کننده سیستم، از قوانین کنترلی بازخورد حالت و بازخورد خطی سازی شده استفاده گردید. انتخاب این روشها به دلیل بررسی عملکرد سیستم با ساده ترین و کاملترین روش کنترلی برای منیپولاتورهای انعطاف پذیر می باشد. سپس رویتگر اغتشاش بر پایه معیار پایداری لیاپانوف بطور مجزا طراحی گردید. ایده اصلی در این روش آن است که غیرخطی های مکانیکی، دینامیک های مدل نشده و اغتشاشات خارجی تحت عنوان اغتشاش تعریف گردند. در پایان کنترل ردگیری همچون مثالی برای بررسی رویتگر طراحی شده مورد استفاده قرار می گیرد.

شبکه های پتری پیوسته با عناصر موجود در آن برای مدلسازی سیستم هایی که بر پایه تغییر شار یک متغییر می باشند کارایی دارند بنابراین تغییرات شار هر متغییری مانند جریان، آب، توان و... را می توان به وسیله شبکه های پتری پیوسته مدل نمود، اما شبکه های پتری با عناصر موجود در آن پاسخگوی مدلسازی سیستم هایی که بر پایه تغییر دو یا چند متغییر می باشند (مانند مدارهای الکتریکی) نمی باشد.در این پایان نامه یک روش جدید بر پایه شبکه های پتری پیوسته برای مدل کردن وتحلیل مدارهای الکتریکی بیان شده است.درارائه این روش جدید برای مدلسازی، نوع جدیدی از کمان ها با نام کمان کنترلی که به وسیله آن سرعت گذرگاه های شبکه پتری کنترل می شود، ارائه شده است. با اضافه کردن این کمانها، امکان مدلسازی سیستمهای خطی در حالت کلی فراهم می شود.

شبکه های پتری به عنوان یک ابزار مدلسازی گرافیکی از دیرباز در علوم مختلف مورد استفاده قرار گرفته است. به وضوح می توان دریافت که می بایست این ابزار را برای استفاده در سیستمهای پیچیده امروزی بهینه سازی کرد و قابلیتهای جدیدی با توجه به امکانات و ابزارهای موجود امروزی، به آن اضافه کرد. این عمل در صورتی ارزشمند و قابل استفاده می باشد که بتوان چارچوب کلی، قوانین و جبر شبکه های پتری کلاسیک را حفظ کرد و فقط به آن قابلیتهای جدید اضافه شود. در این پایان نامه به بررسی ترکیب منطق فازی و شبکه های پتری می پردازیم و همچنین به معرفی کاربردهای این ابزار مدلسازی در سیستمهای قدرت الکتریکی خواهیم پرداخت. در این پایان نامه ضمن بررسی مدلسازی با شبکه های پتری و مفهوم و اهمیت منطق فازی و چگونگی پیاده سازی سیستمهای استنباط فازی، با معرفی مدولهای شبکه پتری، که قابلیت اعمال عملیات منطقی و همچنین محاسباتی را به این ابزار مدلسازی اضافه می کنند، به گسترش قابلیتهای این ابزار مدل سازی، که از دیرباز مورد استفاده قرار گرفته است، و به بهینه سازی و ارتقاع قابلیتهای این ابزار مدلسازی می پردازیم و با استفاده از مدولهای شبکه پتری ارائه شده به پایه ریزی شبکه های فازی پتری با چارچوب کاملاً تعریف شده و قانونمند می پردازیم. اهمیت این موضوع با بررسی تحقیقات سایر محققین و مقالات چاپ شده در زمینه شبکه های فازی پتری نمایان می شود. همانطور که خواهیم دید، مقالات و تحقیقات صورت گرفته در این مقوله تحقیقاتی، بسیار سلیقه ای می باشند و در هر تحقیق تعاریف و اصطلاحات جدیدی معرفی شده است و همچنین با ترکیب منطق فازی و شبکه های پتری ویژگی ها و قوانین شبکه های پتری کلاسیک کم رنگ شده است و صرفاً از تعاریف مکان و گذرگاه استفاده شده است. این در حالیست که شبکه های پتری دارای قوانین و جبر ریاضی و ماتریسی خود می باشند و می بایست در طی ترکیب منطق فازی با این ابزار مدلسازی، این قوانین را حفظ نمود.

نگرانی های زیست محیطی و افزایش تقاضای انرژی، همزمان با پروسه تکنولوژی انرژی های تجدیدپذیر، فرصت های جدیدی را برای استفاده از این منابع انرژی بازنموده، که در این میان استفاده از انرژی های باد و خورشید کاربرد بیشتری پیدا کرده است. در این پروژه از شبکه های پتری به عنوان ابزار پیاده سازی استراتژی کنترلی هوشمند برای کنترل سیستم تولید انرژی تجدیدپذیر ترکیبی، شامل توربین بادی، پنل فتوولتائیک، دیزل ژنراتور و باتری استفاده شده است. با توجه به نزدیک بودن زبان برنامه نویسی sfc به شبکه های پتری، با تبدیل مدل نهایی پتری به برنامه sfc و تعیین جزئیات عملکردی در حالت های مختلف، کنترل کننده سیستم طراحی شده است. برای اطمینان از عملکرد صحیح کنترل کننده طراحی شده در شرایط مختلف تولید و مصرف توان، سیستم مورد نظر پس از سایزبندی بهینه و اقتصادی در نرم افزار homer، در محیط نرم افزار مانیتورینگwincc پیاده سازی شده است.

حالتهای ممنوع در سیستمهای گسسته پیشامد را می توان با اضافه کردن مکانهای کنترلی از بین برد. اما با اضافه کردن مکانهای کنترلی به اینگونه سیستم ها آنها کندتر و زمان اجرای فرآیندها طولانی تر می شود. در این مقاله ما با استفاده از شبکه های پتری زمان دار روشی برای کاهش زمان اجرای فرآیندها در این گونه سیستم ها ارائه می نماییم. این روش برای سیستم هایی که دارای مکان کنترلی هستند قابل اجرا می باشد. روش ارائه شده بر پایه تعریف تعداد معینی زمان سنج ومحاسبه زمانهای مربوط به هرکدام از آنها استوار می باشد. از ویژگیهای این روش سادگی اجرای آن روی هرسیستم کنترل شده صنعتی است. کنترل کننده طراحی شده قابل پیاده سازی در کنترل کننده های منطقی برنامه پذیر(plc)خواهد بود.

در این پروژه به بررسی تشخیص خطا مبتنی بر مدل می پردازیم. اساس کار با استفاده از مدلسازی پتری انجام می پذیرد. در این حال خروجی مدل را با خروجی سیستم مقایسه می کنیم و با تعیین مانده به تشخیص خطا می پردازیم. برای بدست آوردن تابع تبدیل سیستم از روش حداقل مربعات بازگشتی استفاده شده است. با بدست آوردن تابع تبدیل سیستم، تابع را دیجیتال می کنیم و مدل دیجیتال را توسط مدل پتری پیوسته پیاده سازی می کنیم. برای اجرای حداقل مربعات بازگشتی بایستی ازمعادلات سیستم آگاه باشیم. در این پروژه به بررسی مدل یک مبدل گرمایی می پردازیم، که برای رسیدن به این مدل اساسی، معادلات انتقال حرارت مبدل گرمایی را بررسی می کنیم.می توان با استفاده از روشهای حذف اغتشاش به اطلاعات قابل قبولتری دست یافت. مدل پتری در سیستم های گسسته پیشامد کاربرد بسزایی دارد، تلاش این پروژه برای پیاده سازی مدل پتری بر روی سیستم های پیوسته با حداقل تغییرات در مدل اصلی سیستم است.

محدود بودن توان متصدیان و همچنین خطای انسانی از یک سو، و افزایش تقاضای بشر برای محصولات جدید با کیفیت بهتر از سوی دیگر، صاحبان صنایع را به سمت استفاده از سیستم های کنترلی اتوماتیک به جای متصدیان انسانی سوق داده است. بنابراین، در دهه های اخیر، کنترل-کننده هایی معرفی گردیده اند که نیاز صنایع به این متصدیان را به میزان قابل توجهی کاهش می-دهند. در این شرایط، مشکلات مربوط به هزینه های استفاده از متصدیان و کمبود نیروهای متخصص تا حدود بسیار زیادی حل می گردد. همچنین، کیفیت محصولات افزایش می یابد و هزینه و زمان تولید کاهش پیدا می کند و انجام کارهایی که فراتر از توانایی بشر است نظیر حمل بارهای بسیار سنگین، خیلی بزرگ، خیلی داغ یا خیلی سرد، تسهیل می گردد. با این توضیحات، سیستم ها باید به گونه ای طراحی شوند که بوسیله کنترل کننده های مذکور قابل کنترل باشند. لذا، قبل از اینکه به کنترل سیستم ها پرداخته شود، بهتر است که انواع مختلف آن ها شناخته شوند، تا بتوان کنترل بهتری را روی آن ها به کار گرفت. یکی از انواع مختلف و مهم سیستم ها، سیستم های گسسته ی مبتنی بر پیشامد می باشند که از آن ها تحت عنوان سیستم های گسسته پیشامد یاد می شود. مبنای کار این گونه سیستم ها، وقوع حوادث می باشد و بسیاری از سیستم-ها در این دسته قرار می گیرند. سیستم های گسسته پیشامد، در صنایع تولیدی، رباتیک، راه آهن، شبکه های مخابراتی و ... بسیار نمود پیدا می کنند. تئوری کنترل نظارتی ، ایده ای برای کنترل کردن این قبیل سیستم ها می باشد ]1، 2[. هدف این تئوری، محدود کردن رفتار سیستم به منظور برآوردن عملکردی مطلوب می باشد که این محدودیت، بوسیله غیرفعال کردن حوادث قابل کنترل در شرایطی خاص انجام می پذیرد ]3، 4[. برای بهره گیری از این تئوری، سیستم های گسسته پیشامد می توانند توسط مدل اتوماتا مدل-سازی شوند. اما زمانی که تعداد حالت های موجود در سیستم زیاد باشد، مدل سازی بر پایه اتوماتا، بسیار مشکل و تا حدودی غیرممکن می گردد ]5[. برای فائق آمدن بر این مشکل، شبکه های پتری که ساختاری فشرده تر از اتوماتا دارد، به عنوان جایگزینی مناسب برای این مدل معرفی شده است ]6[. شبکه های پتری متشکل از مکان ها ، گذرگاه ها و کمان ها می باشند. قرار گرفتن نشانه در مکان های شبکه های پتری، حالت سیستم را مشخص می کند و هر گذرگاه معادل یک حادثه می باشد. در شبکه های پتری، کنترل بر روی گذرگاه ها صورت می پذیرد. طراحی کنترل کننده، بر مبنای جلوگیری از ورود سیستم به حالت های ممنوع می باشد. این حالت ها، ممکن است حالات قفل شده باشند، یا حالاتی باشند که باعث عدم برآورده شدن رفتار مورد انتظار می شوند. علاوه بر این، وجود حوادث غیر قابل کنترل، ممکن است باعث ورود سیستم به این حالات شود. اما بدلیل اینکه نمی توان حوادث غیرقابل کنترل را غیرفعال نمود، کنترل کننده مجبور است که در شرایطی خاص و پیش از وقوع این حوادث، برخی از حوادث قابل کنترل را غیرفعال نماید ]7[. در دو دهه اخیر روش های متعددی برای جلوگیری از ورود سیستم به حالت های ممنوع براساس مدل های پتری ارائه شده اند ]8-17[ که برخی از آنها به کنترل کننده هایی با ساختاری بسیار ساده می انجامند ]10-12، 15[. زمانی که آتش کردن یک گذرگاه، منجر به ورود سیستم به یک حالت ممنوع می شود، می توان با اعمال شرایطی به این گذرگاه، آن را غیرفعال نمود ]18-20[. اما مشکل این روش، مشخص نبودن دینامیک کنترل کننده می باشد که با ساختار شبکه پتری متفاوت است. استفاده از تئوری region، روشی دیگر برای جلوگیری از ورود سیستم به حالت های ممنوع می باشد ]21[. در این روش، بر اساس ساختار شبکه پتری و با توجه به حالت های ممنوع، تعدادی معادله و نامعادله بدست می آیند که با حل یک مسئله برنامه ریزی خطی صحیح به ازای هر حالت ممنوع، مکان-های کنترلی استخراج می گردند (مکان های کنترلی، مانع از ورود سیستم به حالت های ممنوع می شوند و شبکه کنترل کننده را تشکیل می دهند). اما با استفاده از این روش، به ازای هر حالت ممنوع، یک مکان کنترلی استخراج می شود که با افزایش تعداد حالات ممنوع، تعداد مکان های کنترلی نیز افزایش می یابد و شبکه کنترل کننده پیچیده می گردد. علاوه بر این، حل یک مسأله برنامه ریزی خطی صحیح به ازای هر حالت ممنوع، بر پیچیدگی آن می افزاید. این روش، در ]22[ بهبود یافته است که در آن تعداد کمتری مکان کنترلی تولید می گردد. اما این روش نیز لزوما به کمترین تعداد مکان های کنترلی نمی انجامد. سیستم های تولیدی منعطف ، زیرمجموعه ای از سیستم های گسسته پیشامد می باشند. یکی از مشکلات مهم و بسیار نامطلوب موجود در این سیستم ها قفل شدگی می باشد که در آن، کار تعدادی از فرآیندهای تولید هیچگاه به پایان نمی رسد ]23-25[. بنابراین لازم است که از ورود سیستم به این حالات، ممانعت به عمل آید. روش های متعددی بر اساس مدل های پتری برای جلوگیری از ورود سیستم به حالات قفل شده وجود دارند که به روش های جلوگیری از قفل شدگی شهرت یافته اند ]26-35[. در این روش ها نیز مکان های کنترلی برای جلوگیری از ورود سیستم به این حالات استخراج می شوند. یکی از مشکلات اساسی در این روش ها، تعداد زیاد مکان های کنترلی می باشد. اما ممکن است تعدادی از این مکان ها زائد باشند که در این صورت می توان به حذف آن ها پرداخت و تا حدودی تعداد آن ها را کاهش داد ]36-38[. نامعادلات محدودکننده ، مجموع وزن دار نشانه های موجود در تعدادی از مکان ها را محدود می-کنند. با مرتبط کردن این نامعادلات به حالت های ممنوع و تحمیل آن ها بر سیستم، می توان از ورود آن به این حالات جلوگیری به عمل آورد. تحمیل نامعادلات محدودکننده بر سیستم توسط مکان های کنترلی صورت می گیرد که به ازای هر نامعادله محدودکننده یک مکان کنترلی به سیستم اضافه می شود ]39[. در شبکه های پتری تک نشانه ، روشی موجود می باشد که بوسیله آن می توان نامعادلات محدودکننده را به حالت های ممنوع مرتبط ساخت ]40[. در این صورت به ازای هر حالت ممنوع، یک نامعادله محدودکننده ساخته می شود. زمانی که، تعداد حالت های ممنوع زیاد می باشد، تعداد زیادی نامعادله محدودکننده ایجاد می گردد که این موضوع باعث افزودن تعداد زیادی مکان کنترلی به سیستم می گردد. اما می توان با توجه به خصوصیات شبکه-های پتری، تعداد نامعادلات محدودکننده را کاهش داد و از یک نامعادله به جای چند نامعادله محدودکننده استفاده نمود. همچنین، ممکن است برخی از نامعادلات محدودکننده زائد باشند که در این صورت می توان به حذف آن ها پرداخت ]41[. با استفاده از خصوصیت ناوردایی که بین برخی از مکان های شبکه های پتری تک نشانه و همبسته وجود دارد، می توان به کاهش تعداد نامعادلات محدودکننده و در نتیجه کاهش تعداد مکان های کنترلی پرداخت ]42[. محدودیت همبستگی، با معرفی سوپرحالت ها برداشته می شود که در این شرایط، برخی از سوپر حالت های حالات ممنوع به عنوان حالاتی در نظرگرفته می شوند که ممنوع کردن آن ها باعث جلوگیری از ورود سیستم به همه حالت های ممنوع و تأیید شدن همه حالت های مجاز می گردد ]43[. سپس با تخصیص نامعادلات محدودکننده به این سوپرحالت-ها، می توان مکان های کنترلی را به سیستم متصل نمود. علاوه بر این، با استفاده از رابطه بین سوپرحالت های حالات مجاز و سوپرحالت های حالات ممنوع نیز می توان به کاهش تعداد نامعادلات محدودکننده پرداخت ]44-46[. اما باز هم ممکن است که با این روش ها، کمترین تعداد مکان های کنترلی ایجاد نشود. در این رساله، و در فصل دوم، سیستم های گسسته پیشامد معرفی می شوند و اتوماتا و شبکه پتری به عنوان ابزارهایی برای مدل سازی این قبیل سیستم ها معرفی می گردند و به توضیح تئوری کنترل نظارتی پرداخته می شود. سپس در فصل سوم، روش های گذشته برای طراحی کنترل کننده معرفی می گردند و کنترل کننده ی بهینه از سه منظر حداکثر درجه آزادی، هزینه پیاده سازی کنترل کننده و کاهش تعداد مکان های کنترلی بررسی می گردد. همانگونه که گفته شد، در شبکه های تک نشانه، به راحتی می توان به حالات ممنوع، نامعادله محدودکننده اختصاص داد. اما، اختصاص نامعادله محدودکننده به حالات ممنوع در شبکه های غیر تک نشانه، به راحتی صورت نمی پذیرد. بنابراین در فصل چهارم، روشی سیستماتیک پیشنهاد می گردد که به وسیله آن می توان به حالات ممنوع در شبکه های غیرتک نشانه، نامعادله محدودکننده اختصاص داد. سپس، روش دیگری ارائه می گردد که با بهره گیری از خصوصیات ناوردایی و ناوردایی جزئی، به کاهش تعداد نامعادلات محدودکننده در شبکه های غیر تک نشانه می پردازد. اما ممکن است در همه ی شبکه ها نتوان خصوصیات ناوردایی و ناوردایی جزئی مناسب جهت کاهش تعداد نامعادلات محدودکننده را یافت. به همین دلیل، با بهره گیری از مفهوم سوپرحالت، روش دیگری برای کاهش تعداد نامعادلات محدودکننده در شبکه های غیرتک نشانه پیشنهاد می گردد که می تواند بطور چشمگیری تعداد این نامعادلات را کاهش دهد. همچنین این روش می تواند در اکثر روش-های مربوط به طراحی کنترل کننده برای کاهش پیچیدگی های محاسباتی مورد استفاه قرار گیرد. با وجود پیشنهاد این روش ها برای ساده سازی کنترل کننده، هنوز این امکان وجود دارد که باز هم بتوان تعداد نامعادلات محدودکننده را کاهش داد. بنابراین، روش دیگری پیشنهاد می شود که با استفاده از الگوریتم های جستجوی تصادفی، تعداد نامعادلات محدودکننده را باز هم کاهش می-دهد. اما جواب حاصل از این روش، مطلق نمی باشد و با هر بار اجرای آن، ممکن است جواب متفاوتی حاصل گردد. به همین دلیل، روش دیگری پیشنهاد می شود تا با حل مسائل برنامه ریزی خطی صحیح، بتوان بصورت مطلق، تعداد نامعادلات محدودکننده را کاهش داد. همچنین مشکل مینیمم های محلی نیز در این روش حل می گردد. اما هیچ یک از روش های پیشنهادی، هزینه ی پیاده سازی کنترل کننده را در نظر نمی گیرد. بحث هزینه پیاده سازی کنترل کننده در سیستم-های صنعتی، مسئله ی بسیار مهمی می باشد. بنابراین لازم است که تا حد امکان، هزینه پیاده-سازی کنترل کننده کاهش یابد. زیاد بودن تعداد کمان های مربوط به مکان های کنترلی، باعث زیاد شدن تعداد حسگرها برای مشاهده حوادث و افزایش تعداد عملگرها برای غیرفعال کردن آن ها می گردد. بنابراین، کاهش تعداد کمان های مربوط به مکان های کنترلی می تواند به کاهش هزینه پیاده سازی کنترل کننده بینجامد. به همین دلیل، سعی شده است تا روش جدید دیگری پیشنهاد گردد که با حل مسائل برنامه ریزی خطی صحیح بتوان تعداد کمی مکان کنترلی با تعداد کم کمان های مربوط به آن بدست آورد. به این ترتیب، هم کنترل کننده ای ساده بدست می آید و هم هزینه پیاده سازی آن کاهش می یابد. در فصل پنجم، مثال عملی نسبتاً بزرگی معرفی می گردد و روش های پیشنهادی در این رساله بر روی آن اعمال می شوند و نتایج حاصل با یکدیگر مقایسه می گردند و در نهایت، مسئله ی زمان در شبکه های پتری مورد بحث قرار می گیرد. در بررسی زمان، شرایطی برای یک سیستم خاص در نظر گرفته می شود که با اعمال آن می توان زمان انجام فرآیند صنعتی را به میزان قابل توجهی کاهش داد که این موضوع می تواند در آینده برای سایر سیستم ها عمومی سازی شود.

دو مشکل اساسی در مدل سازی سیستم های گسسته پیشامد، انفجار فضای حالت در مدل سازی با اتوماتا و وجود گذرگاه های غیرقابل کنترل در مدل سازی با شبکه های پتری می باشد. برای جلوگیری از رفتن سیستم به حالت های ممنوع که می تواند با آتش شدن گذرگاه های غیرقابل کنترل اتفاق افتد لازم است تا محدودیت هایی به شکل نامعادله بر سیستم اعمال شود. جدا از روش هایی که برای کاهش تعداد این محدودیت ها ارائه شده، اعمال این محدودیت ها بر سیستم های بزرگ پیچیده و بسیار مشکل است. روش ارائه شده در این پایان نامه بر پایه تقسیم مدل پتری حول گذرگاه های غیرقابل کنترل با توجه به معادلات همبستگی مکانی می باشد که باعث کاهش پیچیدگی محاسبات و سادگی اعمال این محدودیت ها بر مدل پتری و هم چنین فراهم آوردن امکان طراحی کنترل کننده در مدل های بزرگ می شود.

در این پایان نامه سعی شده است تا مدلی مناسب برای کنترل حرکت خودروی بدون راننده در بزرگراه با استفاده از شبکه های پتری هایبرید ارائه شود. عملیات کنترلی شامل کنترل حرکت طولی و عرضی خودرو، سبقت از خودروی جلویی، کنترل پیچ بزرگراه و ... می باشد.

کنترل دما و رطوبت یکی از ارکان مهم مربوط به خشک کن صنعتی می باشد. هدف از انجام این پروژه طراحی یک کنترل کننده مناسب برای کنترل دما و رطوبت محفظه خشک کن میوه زرشک می باشد، که کاربر بر اساس نیاز، دما و رطوبت مورد نظر را به سیستم وارد کرده و سپس سیستم با توجه به برنامه طراحی شده کنترل مناسب را اعمال نماید