دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: MengChu Zhou. Frank DiCesare (auth.)
سری: The Springer International Series in Engineering and Computer Science 204
ISBN (شابک) : 9781461363682, 9781461531265
ناشر: Springer US
سال نشر: 1993
تعداد صفحات: 247
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید: مهندسی برق، تولید، ماشین آلات، ابزار، کنترل، رباتیک، مکاترونیک
در صورت تبدیل فایل کتاب Petri Net Synthesis for Discrete Event Control of Manufacturing Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Synthesis Net Petri برای کنترل رویداد گسسته سیستم های تولید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Petri Net Synthesis برای کنترل رویداد گسسته سیستمهای
تولید دو مفهوم اساسی اشتراکگذاری منابع را توسعه میدهد:
حذفهای متقابل موازی و متوالی و نتایج نظری در سنتز پتری. یک
طرد متقابل موازی (PME) برای مدلسازی یک منبع به اشتراک گذاشته
شده توسط فرآیندهای توزیعشده مستقل تعریف میشود، و یک طرد
متقابل متوالی ترکیب متوالی PMEها است که یک منبع به اشتراک
گذاشته شده توسط فرآیندهای مرتبط متوالی را مدلسازی
میکند.
یک روش ترکیبی ترکیبی برای مدلها و کنترلکنندههای شبکه پتری
با استفاده از ایدههای طراحی از بالا به پایین، مدولار و پایین
به بالا و تئوری طرد متقابل پیشنهاد شده است. یک مدل خالص پتری
با جایگزین کردن مکانها و/یا انتقالها با ماژولهای طراحی
اولیه که به صورت ریاضی و گرافیکی توصیف شدهاند، اصلاح میشود.
روش های طراحی شبکه پتری برای بافرهایی مانند سیستم های ذخیره
سازی و بازیابی خودکار ارائه شده است. با استفاده از روش
پیشنهادی، ساختار شبکه پتری و نشانههای اولیه امکانپذیر را
سنتز میکند، و تضمین میکند که شبکههای پتری بهدستآمده
دارای ویژگیهای سیستم مطلوبی مانند رهایی از بنبست و رفتار
چرخهای هستند.
یک کنترلر شبکه پتری به بازیابی خطا برای سیستم های تولید
خودکار گسترش یافته است. این تئوری میتواند تضمین کند که
ویژگیهای سیستم مورد نظر که با طراحی اصلی به دست آمدهاند،
زمانی که کنترلکننده برای مقابله با خطا در روشهای تجویز شده
تقویت میشود، حفظ خواهد شد. کد کنترل مستقیماً از تعاریف شبکه
پتری تولید شده است. الگوریتم و جزئیات پیاده سازی برای یک
سیستم تولید انعطاف پذیر داده شده است. با استفاده از رویکرد
ارائه شده در Petri Net Synthesis برای کنترل رویداد
گسستهسیستم های تولید، مهندسان و کارگران پژوهشی
می توانند برنامه ها و آزمایش های کنترل رویداد گسسته خود را
توسعه دهند.
Petri Net Synthesis for Discrete Event Control of
ManufacturingSystems develops two essential
resource-sharing concepts: parallel and sequential mutual
exclusions and theoretical results in Petri synthesis. A
parallel mutual exclusion (PME) is defined to model a
resource shared by independent distributed processes, and a
sequential mutual exclusion is a sequential composition of
PMEs, modeling a resource shared by sequentially-related
processes.
A hybrid synthesis methodology for Petri net models and
controllers is proposed using top-down, modular, and
bottom-up design ideas and the mutual exclusion theory. An
aggregate Petri net model is refined by replacing places and
/or transitions with basic design modules which are
mathematically and graphically described. Petri net design
methods are presented for such buffers as automatic storage
and retrieval systems. Using the proposed method synthesizes
both Petri net structure and feasible initial markings,
guaranteeing that resulting Petri nets have desirable system
properties such as freedom from deadlock and cyclic
behavior.
A Petri net controller is extended to error recovery for
automated manufacturing systems. The theory can guarantee
that the desired system properties achieved by the original
design will be preserved when the controller is augmented to
deal with an error in the prescribed methods. Control code
has been directly generated from Petri net definitions. The
algorithm and implementation details are given for a flexible
manufacturing system. Using the approach presented in
Petri Net Synthesis for Discrete Event Control
ofManufacturing Systems, engineers and research
workers can develop their own discrete event control
applications and experiments.
Front Matter....Pages i-xxi
Introduction....Pages 1-11
Petri Nets and Manufacturing Systems....Pages 13-29
Parallel Mutual Exclusions....Pages 31-52
Sequential Mutual Exclusion....Pages 53-91
Hybrid Synthesis of Petri Nets....Pages 93-120
Illustration of Hybrid Synthesis....Pages 121-137
Discrete Event Control of FMS....Pages 139-159
Augmentation of Petri Nets....Pages 161-185
Petri Nets: Past, Present and Future....Pages 187-204
Back Matter....Pages 205-233